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