source: src/Clight/test/ptrbool.c @ 2771

Last change on this file since 2771 was 502, checked in by campbell, 9 years ago

Fix not on nulls on Clight.

File size: 173 bytes
Line 
1int main(void) {
2  int i = 0;
3  int *z = 0;
4  int *p = &i;
5
6  if (z) i--; else i++;
7  if (p) i++; else i--;
8  if (!z) i++; else i--;
9  if (!p) i--; else i++;
10
11  return i;
12}
Note: See TracBrowser for help on using the repository browser.