Sophie

Sophie

distrib > Mageia > 7 > i586 > media > core-release > by-pkgid > 589b38626859682dda0b4289ae4806af > files > 47

coccinelle-examples-1.0.7-2.mga7.i586.rpm

// This rule uses forall, with it, all control flows must match.
//
// The exists4.c was extended to add a c() in comparison to exists2.c
// this is done to show that using forall will still have an effect
// on bar() even though it does not match on main()
//
// This is the default behaviour when + or - is used as well.
@r forall@
@@

b();
...
-c();