Changeset e1056381 for tests/exceptions/resume.cfa

Timestamp:

Apr 7, 2020, 3:41:37 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:

b72bc043

Parents:

ed12051 (diff), dccd1b0 (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/resume.cfa (modified) (1 diff)

tests/exceptions/resume.cfa

@@ -99 +99 @@
                 printf("caught second exception (bad location)\n");
         }
+        printf("\n");
+
+        // Check successive operations.
+        try {
+                try {
+                        THROW_RESUME(&(zen){});
+                        THROW_RESUME(&(zen){});
+                } catchResume (zen *) {
+                        printf("inner catch\n");
+                }
+                THROW_RESUME(&(zen){});
+        } catchResume (zen *) {
+                printf("outer catch\n");
+        }
 }