> @show_unstored_return_values
> depends on !find_calls_for_initialisations
> && !find_calls_for_designated_initialisations
> && !find_calls_for_assignments@
> identifier allocation =~ "^(?x)
> (?:
> ippNewRequest
> |
> sigaction
> )$";
Do you really need to use a regular expression here? Why not use a
disjunction in the pattern?
What does x represent?
> position pos;
> @@
> void receiver(...)
What is received? Why is the void type important?
> {
> <+...
> * allocation@pos(...)
How is it useful to match just thf function call. This doesn't show
anything about whether or not the return value is stored.
julia
> ...+>
> }
>
>
> But I find that the shown dependencies will be insufficient so far.
> I imagine that I should also specify additional constrains for the function
> calls I am looking for.
> Can extensions be better discussed with such a SmPL stub?
>
> Regards,
> Markus
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
