Index: tests/raii/dtor-early-exit.cfa
===================================================================
--- tests/raii/dtor-early-exit.cfa	(revision 152c2b2495f95d3439eb15f85f3d8bcaacf76d24)
+++ tests/raii/dtor-early-exit.cfa	(revision 4cae0326b26fb02ebb30b224fde8c2f09b989ffd)
@@ -217,4 +217,12 @@
 }
 
+void i() {
+	// potential loop
+	for() {
+		if(true) continue;
+		int t = 0;
+	}
+}
+
 // TODO: implement __label__ and uncomment these lines
 void computedGoto() {
