[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