Re: [cocci] Checking evaluation of another SmPL script

For the case of --no-loops, backward jumps are detected as loops for other
pruposes.  But they are maintained in the case of --no-loops.  I'm not
sure what encoding one would want.  Should a backward goto just exit the
function?  Should it fall through to the next statement, as done for
--no-gotos?  --no-gotos is in general really nonsense.  --no-loops for
for, while etc loops does consider a subset of meaningful paths.

julia