source: tests/bugs/66.cfa@ f5d4f62

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since f5d4f62 was 4d23dd2, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

Added tests cases for some of the opened tickets

  • Property mode set to 100644
File size: 157 bytes
Line 
1// Trac ticket
2// https://cforall.uwaterloo.ca/trac/ticket/66
3
4void next() {}
5
6int main() {
7 int * next = (void*)0;
8 if( next ) {
9 return 1;
10 }
11 return 0;
12}
Note: See TracBrowser for help on using the repository browser.