Changeset d4f1521 for tests/raii/dtor-early-exit.cfa

Timestamp:

Nov 27, 2019, 5:04:19 PM (2 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

arm-eh, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr

Children:

0f9ceacb

Parents:

30763fd (diff), 397c101 (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' into relaxed_ready

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() {