[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)?
More information about the Cocci