On Fri, 11 Oct 2019, Markus Elfring wrote:
> > And what is the questionable source code place?
>
> I find implementation details occasionally questionable where checks for
> variables
> which provide a stored function return value are missing.
> The possibility remains that also your search
>> The possibility remains that also your search pattern suggestion will point
>> update candidates out at other places than the implementation of the
>> mentioned
>> function “imx_pd_bind”.
>
> So many words. So little information.
This can also occasionally happen if the search approach is
>> @display@
>> expression x;
>> identifier f;
>
> You can put f != {likely,unlikely} here.
I would appreciate to achieve a better understanding how these likeliness
annotations can influence the shown source code search approach.
> Maybe there will be some false positives when x->f is in a