Hi ! --no-loops is documented as: <snip> --no-loops drop all back edges derived from looping constructs - unsafe <snip>
the background is that some scanners will simply not make any progress (e.g. linux-next/lib/rbtree.c:__rb_insert() is a perfect "hang" without --no-loops for even simple scanners what exactly does unsafe here mean ? thx! hofrat _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci