On Fri, 20 May 2011, Francis Galiegue wrote: > Hello list, > > Well, when I say trouble... "I don't understand anything at all" would > be more appropriate! > > If someone would be so kind as to paste an example C file and put > markers to highlight where each of these make sense, I'd be more than > happy :p > > Unless there is a link to such a treasurable page...
when (not where) is always put after the first ... For example: foo(); ... when != x = 3 bar(); Foo followed by bar with no intervening assignment of x to 3. foo(); <... when != x x = 3 ...> bar(); Foo followed by bar where the only intervening occurrences of x have the form x = 3. foo(); <+... when != x x = 3 ...+> bar(); The same as the above, but where there is at least one such assignment of x to 3. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
