> > 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
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
