source: tests/bugs/91.cfa @ 97c3159

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 97c3159 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: 205 bytes
Line 
1// Trac ticket
2// https://cforall.uwaterloo.ca/trac/ticket/91
3
4#include <stdbool.h>
5
6struct fred {};
7bool ?!=?(const fred & this, zero_t) { return true; }
8
9void foo() {
10        fred f;
11        if(f) {}
12        bool test = f;
13}
Note: See TracBrowser for help on using the repository browser.