2 files changed, 145 insertions, 0 deletions
diff --git a/tests/exceptions/output.txt b/tests/exceptions/output.txt
new file mode 100644
index 00000000..9f6961e3
--- /dev/null
+++ b/tests/exceptions/output.txt
@@ -0,0 +1,54 @@
+*CREATING A FOO
+*CREATING A BAR
+*CREATING A QUUX
+*CREATING A QUUX
+*CREATING A CHILD
+start
+
+
+  throwing ExFooInstance
+*COPYING A FOO
+*COPYING A FOO
+outer catch foo: 11
+*DESTROYING A FOO
+*DESTROYING A FOO
+
+
+  throwing ExBarInstance
+*COPYING A BAR
+*COPYING A BAR
+inner re-throw: 22
+*DESTROYING A BAR
+outer catch bar-ref: 22
+*DESTROYING A BAR
+
+
+  throwing ExQuuxInstance
+*COPYING A QUUX
+*COPYING A QUUX
+inner catch quux: 33
+*DESTROYING A QUUX
+*DESTROYING A QUUX
+
+
+
+
+
+
+  throwing 42
+outer catch int: 42
+
+
+  throwing NULL
+outer catch-all
+
+
+  not throwing
+
+
+end
+*DESTROYING A CHILD
+*DESTROYING A QUUX
+*DESTROYING A QUUX
+*DESTROYING A BAR
+*DESTROYING A FOO
diff --git a/tests/exceptions/typed.cpp b/tests/exceptions/typed.cpp
new file mode 100644
index 00000000..dd509bdf
--- /dev/null
+++ b/tests/exceptions/typed.cpp
@@ -0,0 +1,91 @@
+#include <stdio.h>
+
+class ExFoo {
+public:
+  int x;
+  ExFoo(int x) { this->x = x; printf("*CREATING A FOO\n"); }
+  ExFoo(const ExFoo& other)  { x=other.x; printf("*COPYING A FOO\n"); }
+  ~ExFoo() { printf("*DESTROYING A FOO\n"); }
+} ExFooInstance(11);
+class ExBar {
+public:
+  int x;
+  ExBar(int x) { this->x = x; printf("*CREATING A BAR\n"); }
+  ExBar(const ExBar& other)  { x=other.x; printf("*COPYING A BAR\n"); }
+  ~ExBar() { printf("*DESTROYING A BAR\n"); }
+} ExBarInstance(22);
+class ExQuux {
+public:
+  int x;
+  ExQuux(int x) { this->x = x; printf("*CREATING A QUUX\n"); }
+  ExQuux(const ExQuux& other)  { x=other.x; printf("*COPYING A QUUX\n"); }
+  ~ExQuux() { printf("*DESTROYING A QUUX\n"); }
+} ExQuuxInstance(33);
+class ExChild : public ExQuux {
+public:
+  int x;
+  ExChild(int x) : ExQuux(x) { this->x = x; printf("*CREATING A CHILD\n"); }
+  ExChild(const ExChild& other) : ExQuux(x)  { x=other.x; printf("*COPYING CHILD\n"); }
+  ~ExChild() { printf("*DESTROYING A CHILD\n"); }
+} ExChildInstance(44);
+
+void magic(int which) {
+  try {
+    switch (which) {
+      case 0:
+        printf("  throwing ExFooInstance\n");
+        throw ExFooInstance;
+      case 1:
+        printf("  throwing ExBarInstance\n");
+        throw ExBarInstance;
+      case 2:
+        printf("  throwing ExQuuxInstance\n");
+        throw ExQuuxInstance;
+// NOTE: Throwing pointers and polymorphic matching not supported.
+//       case 3:
+//         printf("  throwing ExQuux ptr\n");
+//         throw &ExQuuxInstance;
+//       case 4:
+//         printf("  throwing ExChildInstance\n");
+//         throw ExChildInstance;
+      case 5:
+        printf("  throwing 42\n");
+        throw 42;
+      case 6:
+        printf("  throwing NULL\n");
+        throw (void*)0;
+      case 7:
+        printf("  not throwing\n");
+    }
+  } catch (ExQuux e1) {
+    printf("inner catch quux: %d\n", e1.x);
+  } catch (ExBar e2) {
+    printf("inner re-throw: %d\n", e2.x);
+    throw;
+  }
+}
+
+int main() {
+  printf("start\n\n\n");
+  for (int i = 0; i < 8; i++) {
+    try {
+      magic(i);
+    } catch (ExFoo e1) {
+      printf("outer catch foo: %d\n", e1.x);
+    } catch (ExBar& e2) {
+      printf("outer catch bar-ref: %d\n", e2.x);
+// NOTE: Throwing pointers and polymorphic matching not supported.
+//     } catch (ExQuux& e3) {
+//       printf("outer catch quux-ref: %d\n", e3.x);
+//     } catch (ExQuux* e4) {
+//       printf("outer catch quux-ptr: %d\n", e4->x);
+    } catch (int e5) {
+      printf("outer catch int: %d\n", e5);
+    } catch (...) {
+      printf("outer catch-all\n");
+    }
+    printf("\n\n");
+  }
+  printf("end\n");
+  return 0;
+}