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

On Sun, 1 Mar 2026, Markus Elfring wrote:

> >> 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?

OK.  If you had written something like:

Shouldn't:

>>> gotospecial_target

be

>>> goto special_target

I could have known immediately what you were talking about.

julia

>
> Regards,
> Markus
>