Changeset 553f032f for tests/exceptions

Timestamp:

Sep 8, 2023, 5:15:41 PM (16 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

5cfb8b1

Parents:

2fa0237

Message:

Insert additional checks so that impossible, or just unimplemented, local control flow raises an error in CFA.

Location:

tests/exceptions

Files:

• .expect/finally-error.txt (deleted)
• .expect/try-ctrl-flow.txt (added)
• 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.