Changeset 381132b for tests/exceptions

Timestamp:

Jul 6, 2020, 1:23:56 PM (5 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

6437ce4

Parents:

9ec8c5f

Message:

Default handlers for uncaught exceptions are now run at the top of the stack. There was an error but it seemed to disappear when I recompiled the code.

Location:

tests/exceptions

Files:

• .expect/defaults.txt (modified) (1 diff)
• defaults.cfa (modified) (2 diffs)

tests/exceptions/.expect/defaults.txt ¶

@@ -3 +3 @@
 jump default handler.
 Catch unhandled_exception.
+cross terminate throw
+cross terminate default
+cross terminate catch
+cross resume throw
+cross resume default
+cross resume catch

tests/exceptions/defaults.cfa ¶

@@ -30 +30 @@
                 throwResume (log_message){(char *)"Should be printed.\n"};
         } catchResume (log_message * this) {
-                printf(this->virtual_table->msg(this));
+                printf("%s", this->virtual_table->msg(this));
         }
         // But we don't have to:
@@ -69 +69 @@
 }
 
+TRIVIAL_EXCEPTION(second);
+
+void cross_test(void) {
+        void defaultTerminationHandler(first &) {
+                printf("cross terminate default\n");
+                throw (second){};
+        }
+        void defaultResumptionHandler(first &) {
+                printf("cross resume default\n");
+                throwResume (second){};
+        }
+        try {
+                printf("cross terminate throw\n");
+                throw (first){};
+        } catch (second *) {
+                printf("cross terminate catch\n");
+        }
+        try {
+                printf("cross resume throw\n");
+                throwResume (first){};
+        } catchResume (second *) {
+                printf("cross resume catch\n");
+        }
+}
+
 int main(int argc, char * argv[]) {
         log_test();
         jump_test();
         unhandled_test();
+        cross_test();
 }