[Cocci] Fatal error "already tagged token"

Julia Lawall julia at diku.dk
Sun Jun 13 22:42:04 CEST 2010


> > First point: if (dpy) { XCloseDisplay(dpy); } is also considered to match 
> > if (dpy) XCloseDisplay(dpy); by an isomorphism.
> 
> Hmmm.  Does the reverse hold true as well?  If I write "if (dpy)
> XCloseDisplay(dpy);" it doesn't seem to match "if (dpy) {
> XCloseDisplay(dpy); }".

No.  You can see the default isomorphisms in the file standard.iso.  
Isomorphisms tend to remove things (eg, braces, parentheses) rather than 
adding them.  But you can also define any isomorphisms you want, in 
another file given with the -iso_file argument.

julia


More information about the Cocci mailing list