Re: [cocci] Separating label from previous key word display

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

Would you find the shown display improvable anyhow?

Questionable test result:
Markus_Elfring@Sonne:…/Projekte/Coccinelle/Probe> /usr/bin/spatch --parse-cocci test_parse_goto_display.cocci
…
-return -rc
  >>> gotospecial_target
;
…


Would the representation be a bit nicer with an additional space character here?

Regards,
Markus