Index: tests/nowarn/.expect/exception.txt
===================================================================
--- tests/nowarn/.expect/exception.txt	(revision fb0f04d09615a0006f8d2eec237f089ba7688917)
+++ tests/nowarn/.expect/exception.txt	(revision fb0f04d09615a0006f8d2eec237f089ba7688917)
@@ -0,0 +1,1 @@
+done
Index: tests/nowarn/exception.cfa
===================================================================
--- tests/nowarn/exception.cfa	(revision fb0f04d09615a0006f8d2eec237f089ba7688917)
+++ tests/nowarn/exception.cfa	(revision fb0f04d09615a0006f8d2eec237f089ba7688917)
@@ -0,0 +1,27 @@
+exception SkyFalling{ 
+    int fromHeight;
+};
+__attribute__(( cfa_linkonce )) vtable( SkyFalling ) SkyFalling_vt;
+void manual() {
+    try {
+        throwResume (SkyFalling){ & SkyFalling_vt, 42 };
+    } catch ( SkyFalling * ) {
+    }
+}
+
+#include <Exception.hfa>
+
+ExceptionDecl( WaterRising, int fromDepth; );
+void abbreviated() {
+    try {
+        throwResume ExceptionInst( WaterRising, 42 );
+    } catch ( WaterRising * ) {
+    }
+}
+
+int main() {
+    manual();
+    abbreviated();
+    printf("done\n");
+    return 0;
+}