On Tue, 24 Feb 2015, Stan Sieler wrote:
> Hi,
>
> I'm new to coccinelle. I've just run spatch over about 300,000 lines of
> compiling C programs.
> and was curious what the following meant:
>
> ...
> HANDLING: ./misc/pasnet.c
> EXN:Failure("lexing: empty token")
> ...
>
> I did a binary search exercise :) ... and got the error down to one line:
>
> foo ('');
>
> where foo was not declared (and had not been used earlier).
>
> So, why was this code in there? (I.e., how could it compile in C?)
>
> Because it was within "#if 0 / #endif"!
Coccinelle is supposed to skip what is under if 0. There has been a lot
of changes to the management of ifdefs recently, and so this flag may have
gotten inadvertently ignored. I'll look into it.
julia
> It was Pascal code that was still to be translated to C.
> Thus, it was "commented out" (not actually a comment, of course, but similar
> effect).
>
> We were quite surprised that spatch / coccinelle isn't ignoring stuff
> (I won't say "code", because it's often non-code English text)
> within "#if 0 / #endif" blocks, and feel this is a design flaw.
>
> (BTW, I'm not referring to a macro that happens to evaluate to 0 ...
> it's the five characters "#", "i", "f", " ", "0")
>
> So far, I've only tested for the "!E & C" case, and it caught none (until I
> injected one as a test ... it properly caught that).
>
> thanks,
>
> Stan Sieler
> [email protected]
>
> _______________________________________________
> Cocci mailing list
> [email protected]
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
