1// Copyright: (C) 2009 Gilles Muller, Julia Lawall, INRIA, DIKU. GPLv2. 2// 3// -no_includes -include_headers 4// 5 6@ disable is_zero @ 7expression *E; 8@@ 9 10 E == 11- 0 12+ NULL 13 14@ disable is_zero @ 15expression *E; 16@@ 17 18- 0 19+ NULL 20 == E 21 22@ disable isnt_zero @ 23expression *E; 24@@ 25 26 E != 27- 0 28+ NULL 29 30@ disable isnt_zero @ 31expression *E; 32@@ 33 34- 0 35+ NULL 36 != E 37 38@ disable is_zero @ 39expression *E; 40@@ 41 42 E = 43- 0 44+ NULL 45