Re: [cocci] Separating label from previous key word display
Julia Lawall <[email protected]> Sun, 1 Mar 2026 13:49:45 +0100 (CET)
| Newsgroups | fr.inria.cocci |
|---|---|
| Message-ID | <[email protected]> |
On Sun, 1 Mar 2026, Markus Elfring wrote: > Hello, > > I tried the following SmPL script variant out also together with the software > combination “Coccinelle 1.3.1”. > > @replacement@ > expression action; > identifier rc; > @@ > -action(...); > -return rc > +goto special_target > ; > > > Questionable test result: > Markus_Elfring@Sonne:…/Projekte/Coccinelle/Probe> /usr/bin/spatch --parse-cocci test_parse_goto_display.cocci > … > -action-(-...-)-; > -return -rc > >>> gotospecial_target > ; > … > > > How can it be achieved to separate the mentioned label from a corresponding > key word display? I have no idea what you are asking for. It would help a lot of you would provide an expected output. julia