[cocci] Separating label from previous key word display

Markus Elfring <[email protected]> Sun, 1 Mar 2026 13:38:55 +0100
Newsgroups fr.inria.cocci
Message-ID <[email protected]>
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?

Regards,
Markus