@@ declarer name xyz =~ "KERN_DEBUG"; @@ -printk(xyz "my message\n"); +printf("%s", "my message\n");It does not work. The SMPL language does not accept X "Y" as a string.
Are any more software developers interested that a corresponding source code adjustment will become directly supported by the tool? Would it make sense to extend the semantic patch language for such a handling of string literals?
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
