source: tests/bugs/290.cfa @ f5dbc8d

Last change on this file since f5dbc8d was df2e00f, checked in by Andrew Beach <ajbeach@…>, 3 months ago

Made heap pass the invariant check. We should be able to enable invariants on the standard library. Also added the reproductions for new trac trickets.

  • Property mode set to 100644
File size: 282 bytes
RevLine 
[df2e00f]1// Trac ticket
2// https://cforall.uwaterloo.ca/trac/ticket/290
3// Two-Argument Conditional Revaluates Condition
4
5bool yes() {
6        printf("yes\n");
7        return true;
8}
9
10int main(int argc, char * argv[]) {
11        bool result = yes() ?: false;
12        printf("result: %s\n", result ? "true" : "false");
13}
Note: See TracBrowser for help on using the repository browser.