source: tests/bugs/66.cfa @ 42cd451e

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 42cd451e was 4d23dd2, checked in by Thierry Delisle <tdelisle@…>, 4 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.