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

>> Another SmPL script example:
…
>> @display@
>> expression action, pointer;
>> identifier member;
>> @@
>> *pointer = action(...);
>> *<+... (pointer)->member ...+>
>>  ;
>>
>>
>> Questionable test result:
>> Markus_Elfring@Sonne:…/Projekte/Linux/next-analyses> time /usr/bin/spatch --no-loops …/Projekte/Coccinelle/janitor/show_questionable_statement_combination3.cocci drivers/regulator/fp9931.c
>> [no diff output]
> 
> OK, then I don't know.  It seems like it was possible to parse trhe
> semantic patch.
…

Under which circumstances will corresponding software improvements become more likely?

Regards,
Markus