source: tests/bugs/66.cfa @ d8d8f20

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since d8d8f20 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.