Changeset 3b56166 for tests/raii/dtor-early-exit.cfa

Timestamp:

Feb 10, 2020, 11:17:38 AM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct

Children:

3966d9a, 41efd33

Parents:

807a632 (diff), d231700 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/raii/dtor-early-exit.cfa (modified) (1 diff)

tests/raii/dtor-early-exit.cfa

@@ -217 +217 @@
 }
 
+void i() {
+        // potential loop
+        for() {
+                if(true) continue;
+                int t = 0;
+        }
+}
+
 // TODO: implement __label__ and uncomment these lines
 void computedGoto() {