Re: [cocci] Checking data structure member accesses after function return value assignments?

>                                       …  But you may always get false
> positives, because there may be some combinations of arguments that can
> never lead to a failure.

Under which circumstances would you dare to determine a list of always
succeeding functions (or macros) by the means of the semantic patch language?


Would it eventually be easier to filter on failing calls?

Regards,
Markus