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