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