Changeset 4fa44e7 for tests

Timestamp:

May 12, 2020, 1:59:33 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

1b143de

Parents:

504a7dc (diff), 730f4f1 (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

Location:

tests/exceptions

Files:

• .expect/resume.txt (modified) (1 diff)
• .expect/terminate.txt (modified) (1 diff)
• resume.cfa (modified) (1 diff)
• terminate.cfa (modified) (1 diff)

tests/exceptions/.expect/resume.txt

@@ -4 +4 @@
 end of try clause
 Exiting: simple try clause
+
+catch-all
 
 throwing child exception

tests/exceptions/.expect/terminate.txt

@@ -3 +3 @@
 simple catch
 Exiting: simple catch clause
+
+catch-all
 
 throwing child exception

tests/exceptions/resume.cfa

@@ -19 +19 @@
                 loud_exit a = "simple catch clause";
                 printf("simple catch\n");
+        }
+        printf("\n");
+
+        // Throw catch-all test.
+        try {
+                throwResume &(zen){};
+        } catchResume (exception_t * error) {
+                printf("catch-all\n");
         }
         printf("\n");

tests/exceptions/terminate.cfa

@@ -17 +17 @@
                 printf("end of try clause\n");
         } catch (zen * error) {
-        loud_exit a = "simple catch clause";
+                loud_exit a = "simple catch clause";
                 printf("simple catch\n");
+        }
+        printf("\n");
+
+        // Throw catch-all test.
+        try {
+                throw &(zen){};
+        } catch (exception_t * error) {
+                printf("catch-all\n");
         }
         printf("\n");