1 files changed, 51 insertions, 0 deletions
diff --git a/test/C++Frontend/EH/exception_spec_test.cpp b/test/C++Frontend/EH/exception_spec_test.cpp
new file mode 100644
index 0000000000..f80f0eeaab
--- /dev/null
+++ b/test/C++Frontend/EH/exception_spec_test.cpp
@@ -0,0 +1,51 @@
+// This tests that exception specifications interact properly with unexpected
+// handlers.
+
+#include <exception>
+#include <stdio.h>
+#include <stdlib.h>
+
+static void TerminateHandler() {
+  printf("std::terminate called\n");
+  exit(1);
+}
+
+static void UnexpectedHandler1() {
+  printf("std::unexpected called: throwing a double\n");
+  throw 1.0;
+}
+
+static void UnexpectedHandler2() {
+  printf("std::unexpected called: throwing an int!\n");
+  throw 1;
+}
+
+void test(bool Int) throw (double) {
+  if (Int) {
+    printf("Throwing an int from a function which only allows doubles!\n");
+    throw 1;
+  } else {
+    printf("Throwing a double from a function which allows doubles!\n");
+    throw 1.0;
+  }
+}
+
+int main() {
+  try {
+    test(false);
+  } catch (double D) {
+    printf("Double successfully caught!\n");
+  }
+
+  std::set_terminate(TerminateHandler);
+  std::set_unexpected(UnexpectedHandler1);
+
+  try {
+    test(true);
+  } catch (double D) {
+    printf("Double successfully caught!\n");
+  }
+
+  std::set_unexpected(UnexpectedHandler2);
+  test(true);
+}