Changeset 3eb5a478 for tests/exceptions/interact.cfa

Timestamp:

Apr 2, 2020, 3:00:55 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:

0f3d844

Parents:

6d43cdde

Message:

Fixed the disabled exceptions/resume test. Added more tests in exceptions/interact, one of which is disabled.

File:

• tests/exceptions/interact.cfa (modified) (2 diffs)

tests/exceptions/interact.cfa

@@ -5 +5 @@
 
 TRIVIAL_EXCEPTION(star);
+TRIVIAL_EXCEPTION(moon);
 
 int main(int argc, char * argv[]) {
@@ -51 +52 @@
                 printf("resume catch on resume\n");
         }
+        printf("\n");
+
+        // Resume a termination exception.
+        try {
+                try {
+                        try {
+                                THROW(&(star){});
+                        } catchResume (star *) {
+                                printf("inner resume catch (error)\n");
+                        }
+                } catch (star * error) {
+                        printf("termination catch, will resume\n");
+                        THROW_RESUME(error);
+                }
+        } catchResume (star *) {
+                printf("outer resume catch\n");
+        }
+        printf("\n");
+
+        // Terminate a resumption exception.
+        try {
+                try {
+                        try {
+                                THROW_RESUME(&(star){});
+                        } catch (star *) {
+                                printf("inner termination catch\n");
+                        }
+                } catchResume (star * error) {
+                        printf("resumption catch, will terminate\n");
+                        THROW(error);
+                }
+        } catch (star *) {
+                printf("outer terminate catch (error)\n");
+        }
+#if 0
+        printf("\n");
+
+        // Unwinding a resumption catch does not break the system.
+        try {
+                try {
+                        try {
+                                try {
+                                        printf("throwing resume moon\n");
+                                        THROW_RESUME(&(moon){});
+                                } catch (star *) {
+                                        printf("termination catch\n");
+                                }
+                                printf("throwing resume star\n");
+                                THROW_RESUME(&(star){});
+                        } catchResume (star *) {
+                                printf("resumption star catch\n");
+                        }
+                } catchResume (moon *) {
+                        printf("resumption moon catch, will terminate\n");
+                        THROW(&(star){});
+                }
+        } catchResume (star *) {
+                printf("outermost catch (error)\n");
+        }
+#endif
 }