Changeset 8b58bae for tests/exceptions/resume.cfa

Timestamp:

Jun 24, 2020, 5:00:59 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

c953163

Parents:

9791ab5 (diff), 7f9968a (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/exceptions/resume.cfa (modified) (2 diffs)

tests/exceptions/resume.cfa

@@ -8 +8 @@
 TRIVIAL_EXCEPTION(zen);
 TRIVIAL_EXCEPTION(moment_of, zen);
+
+void in_void(void);
 
 int main(int argc, char * argv[]) {
@@ -121 +123 @@
                 printf("outer catch\n");
         }
+        printf("\n");
+
+        in_void();
 }
+
+// Do a throw and rethrow in a void function.
+void in_void(void) {
+        try {
+                try {
+                        printf("throw\n");
+                        throwResume (zen){};
+                } catchResume (zen *) {
+                        printf("rethrow\n");
+                        throwResume;
+                }
+        } catchResume (zen *) {
+                printf("handle\n");
+        }
+}