[Cocci] Finding function implementations that call only a single function.
julia.lawall at lip6.fr
Sun Dec 7 12:45:20 CET 2014
On Sun, 7 Dec 2014, SF Markus Elfring wrote:
> >> 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?
If the return type has no impact on the match, it can be omitted.
> When should a filter pattern on function implementations be adapted to
> the property that there will be a return value affected (or not)?
I don't understand the question.
More information about the Cocci