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