Re: [cocci] Checking data structure member accesses after function return value assignments?
Julia Lawall <[email protected]>
| Newsgroups | fr.inria.cocci |
|---|---|
| Message-ID | <[email protected]> |
On Mon, 19 Jan 2026, Markus Elfring wrote: > >> 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? If a semantic patch doesn't match when you expect it to, the most likely issue is that the C code you expected to match doesn't parse. Did you try spatch --parse-c on that file. You have to see if there is BUG or bug at the beginning of the relevant lines. julia