Sophie

Sophie

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

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

// is also mega10.cocci 


@@ expression E; @@

// super unreadable, but we don't want the isomorphism to apply, because then
// two bindings of E drift up to the top

- if (unlikely(
+ BUG_ON(
  E
+ );
- )) { BUG(); }

@@ expression E; @@

- if (E) { BUG(); }
+ BUG_ON(E);