Changeset 3eb5a478 for tests/exceptions

Timestamp:

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

Location:

tests/exceptions

Files:

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

tests/exceptions/.expect/interact.txt

@@ -8 +8 @@
 
 resume catch on resume
+
+termination catch, will resume
+outer resume catch
+
+resumption catch, will terminate
+inner termination catch

tests/exceptions/.expect/resume.txt

@@ -19 +19 @@
 caught yin, will throw yang
 caught yang
+
+throwing first exception
+caught first exception
+throwing second exception
+caught second exception
+recaught first exception

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
 }

tests/exceptions/resume.cfa

@@ -77 +77 @@
                 printf("caught yang\n");
         }
-#ifdef FAILING
         printf("\n");
 
@@ -100 +99 @@
                 printf("caught second exception (bad location)\n");
         }
-#endif
 }