[Cocci] Finding function implementations that call only a single function.

SF Markus Elfring elfring at users.sourceforge.net
Sun Dec 7 11:37:56 CET 2014


>> One part of each SmPL disjunction will always not match in this approach
>> if an analysed function implementation has got the return type "void".
>> Would the specification of a metavariable "return_type" be also
>> unnecessary and inappropriate in this use case?
> 
> Currently, return_type does absolutely nothing.  You can just drop it.

Should I really omit to distinguish the function return type?

When should a filter pattern on function implementations be adapted to
the property that there will be a return value affected (or not)?

Regards,
Markus


More information about the Cocci mailing list