> The attribute given to the two function definitions will make the compiler > (GCC > in my case) emit a warning, if the return-value of the given function is > unused > in the caller.
I know the mentioned complier extension. http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html#index-g_t_0040code_007bwarn_005funused_005fresult_007d-attribute-2391 I would appreciate support for this use case by the semantic patch language. I imagine that it would enable a concrete bunch of update suggestions for various source files. Evolving tools from the area of aspect-oriented software development provide alternative approaches besides static source code analysis. Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
