Changeset c8ec58e for tests/exceptions/try-ctrl-flow.cfa

Timestamp:

Sep 11, 2023, 12:55:49 PM (2 years ago)

Author:

caparsons <caparson@…>

Branches:

master

Children:

c0035fc

Parents:

9509d67a (diff), 73d0a84c (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/exceptions/try-ctrl-flow.cfa (moved) (moved from tests/exceptions/finally-error.cfa ) (2 diffs)

tests/exceptions/try-ctrl-flow.cfa

@@ -1 @@
-// All of these should be caught as long as the check remains in the same
-// pass. (Although not even all of the checks are in place yet.)
+// Check all the local control flow structures that are "sealed" by some the
+// try statement clauses; where structured programming is stricter.
 
 void break_in_finally() {
@@ -151 +151 @@
 }
 
+// Now just use return to test the other try control flow interactions.
+
+exception nil_exception {};
+
+void return_in_try_with_catch() {
+        try {
+                return;
+        } catch (nil_exception *) {
+                ;
+        }
+}
+
+// Allowed.
+void return_in_try_with_catchReturn() {
+        try {
+                return;
+        } catchResume (nil_exception *) {
+                ;
+        }
+}
+
+// Allowed.
+void return_in_try_with_finally() {
+        try {
+                return;
+        } finally {
+                ;
+        }
+}
+
+void return_in_catch() {
+        try {
+                ;
+        } catch (nil_exception *) {
+                return;
+        }
+}
+
+void return_in_catchResume() {
+        try {
+                ;
+        } catchResume (nil_exception *) {
+                return;
+        }
+}
+
 void main() {
         // Should not compile.