On Thu, 29 Aug 2013, Nic Volanschi (R&D) wrote:
> Hi,
>
> I stumbled against another issue when trying to apply the following rule
> on nested if/else if/.../else structures:
>
> --- trace.cocci:
> @@ statement s1, s2; @@
> if(...)
> s1
> else
> +{trace("ifelel");
> s2
> +}
>
> --- test.c:
> void GetInfoDestTV(short sNoFo)
> {
> if(sNoFo == 1)
> printf("one");
> else if(sNoFo == 2)
> printf("two");
> else
> printf("other");
> }
>
>
> Applying the patch results in:
> faketoken/$ spatch -c trace.cocci test.c
> init_defs_builtins: /usr/local/share/coccinelle/standard.h
> HANDLING: test.c
> previous modification:
> CONTEXT
> >>> }
> According to environment 0:
> current modification:
> CONTEXT
> >>> }
> According to environment 0:
> Fatal error: exception Failure("rule starting on line 1: already tagged
> fake token
> ")
>
> I can see that the problem comes from the fact that the rule tries to
> add several "}" after the last ";" which is the ending token for both
> the inside and the outside if.
> Indeed, if I add braces around the inside if, the problem disappears, as
> there are now different tokens ending the inside and the outside if.
>
> I tried to change the "+" markers to "++" in the patch, but this doesn't
> help.
> So is there a known way to get around this error?
I'm surprised that ++ doesn't work. I will look into it.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
