Add ARC and ObjC++ variants of ExceptionTest

Test/CMakeLists.txt

@@ -26,6 +26,7 @@ set(TESTS
 	ConstantString.m
 	Category.m
 	ExceptionTest.m
+	ExceptionTest_arc.m
 	FastARC.m
 	FastRefCount.m
 	Forward.m
@@ -58,6 +59,15 @@ set(TESTS
 	setSuperclass.m
 )
 
+if (ENABLE_OBJCXX)
+	list(APPEND TESTS
+	ExceptionTestObjCXX.mm
+	ExceptionTestObjCXX_arc.mm
+	NestedExceptionsObjCXX.mm
+	NestedExceptionsObjCXX_arc.mm
+	)
+endif()
+
 if (WIN32)
 else ()
 	# Don't run the tests that are specific to Itanium-style exceptions on

Test/ExceptionTestObjCXX.mm

@@ -0,0 +1,97 @@
+#include "Test.h"
+
+BOOL finallyEntered = NO;
+BOOL cleanupRun = NO;
+BOOL idRethrown = NO;
+BOOL catchallRethrown = NO;
+BOOL testCaught = NO;
+BOOL wrongMatch = NO;
+
+@interface NSString : Test @end
+void runCleanup(void *x)
+{
+	assert(cleanupRun == NO);
+	cleanupRun = YES;
+}
+
+int throwException(void)
+{
+	@throw [Test new];
+}
+
+int finally(void)
+{
+	__attribute__((cleanup(runCleanup)))
+	int x;
+	(void)x;
+	@try { throwException(); }
+	@finally  { finallyEntered = YES; }
+	return 0;
+}
+int rethrow_id(void)
+{
+	@try { finally(); }
+	@catch(id x)
+	{
+		assert(object_getClass(x) == [Test class]);
+		idRethrown = YES;
+		@throw;
+	}
+	return 0;
+}
+int rethrow_test(void)
+{
+	@try { rethrow_id(); }
+	@catch (Test *t)
+	{
+		testCaught = YES;
+		@throw;
+	}
+	@catch (id x)
+	{
+		assert(0 && "should not be reached!");
+	}
+	@catch (...)
+	{
+		assert(0 && "should not be reached!");
+	}
+}
+int rethrow_catchall(void)
+{
+	@try { rethrow_test(); }
+	@catch(...)
+	{
+		assert(testCaught);
+		catchallRethrown = YES;
+		@throw;
+	}
+	return 0;
+}
+int not_matched_catch(void)
+{
+	@try { rethrow_catchall(); }
+	@catch(NSString *s)
+	{
+		wrongMatch = YES;
+	}
+	return 0;
+}
+
+int main(void)
+{
+	@try
+	{
+		rethrow_catchall();
+	}
+	@catch (id x)
+	{
+		assert(finallyEntered == YES);
+		assert(cleanupRun == YES);
+		assert(idRethrown == YES);
+		assert(catchallRethrown == YES);
+		assert(wrongMatch == NO);
+		assert(object_getClass(x) == [Test class]);
+		[x dealloc];
+	}
+	return 0;
+}

Test/ExceptionTestObjCXX_arc.mm

@@ -0,0 +1,96 @@
+#include "Test.h"
+
+BOOL finallyEntered = NO;
+BOOL cleanupRun = NO;
+BOOL idRethrown = NO;
+BOOL catchallRethrown = NO;
+BOOL testCaught = NO;
+BOOL wrongMatch = NO;
+
+@interface NSString : Test @end
+void runCleanup(void *x)
+{
+	assert(cleanupRun == NO);
+	cleanupRun = YES;
+}
+
+int throwException(void)
+{
+	@throw [Test new];
+}
+
+int finally(void)
+{
+	__attribute__((cleanup(runCleanup)))
+	int x;
+	(void)x;
+	@try { throwException(); }
+	@finally  { finallyEntered = YES; }
+	return 0;
+}
+int rethrow_id(void)
+{
+	@try { finally(); }
+	@catch(id x)
+	{
+		assert(object_getClass(x) == [Test class]);
+		idRethrown = YES;
+		@throw;
+	}
+	return 0;
+}
+int rethrow_test(void)
+{
+	@try { rethrow_id(); }
+	@catch (Test *t)
+	{
+		testCaught = YES;
+		@throw;
+	}
+	@catch (id x)
+	{
+		assert(0 && "should not be reached!");
+	}
+	@catch (...)
+	{
+		assert(0 && "should not be reached!");
+	}
+}
+int rethrow_catchall(void)
+{
+	@try { rethrow_test(); }
+	@catch(...)
+	{
+		assert(testCaught);
+		catchallRethrown = YES;
+		@throw;
+	}
+	return 0;
+}
+int not_matched_catch(void)
+{
+	@try { rethrow_catchall(); }
+	@catch(NSString *s)
+	{
+		wrongMatch = YES;
+	}
+	return 0;
+}
+
+int main(void)
+{
+	@try
+	{
+		rethrow_catchall();
+	}
+	@catch (id x)
+	{
+		assert(finallyEntered == YES);
+		assert(cleanupRun == YES);
+		assert(idRethrown == YES);
+		assert(catchallRethrown == YES);
+		assert(wrongMatch == NO);
+		assert(object_getClass(x) == [Test class]);
+	}
+	return 0;
+}

Test/ExceptionTest_arc.m

@@ -0,0 +1,100 @@
+#include "Test.h"
+
+#if __cplusplus
+#error This is not an ObjC++ test!
+#endif
+
+BOOL finallyEntered = NO;
+BOOL cleanupRun = NO;
+BOOL idRethrown = NO;
+BOOL catchallRethrown = NO;
+BOOL testCaught = NO;
+BOOL wrongMatch = NO;
+
+@interface NSString : Test @end
+void runCleanup(void *x)
+{
+	assert(cleanupRun == NO);
+	cleanupRun = YES;
+}
+
+int throw(void)
+{
+	@throw [Test new];
+}
+
+int finally(void)
+{
+	__attribute__((cleanup(runCleanup)))
+	int x;
+	(void)x;
+	@try { throw(); }
+	@finally  { finallyEntered = YES; }
+	return 0;
+}
+int rethrow_id(void)
+{
+	@try { finally(); }
+	@catch(id x)
+	{
+		assert(object_getClass(x) == [Test class]);
+		idRethrown = YES;
+		@throw;
+	}
+	return 0;
+}
+int rethrow_test(void)
+{
+	@try { rethrow_id(); }
+	@catch (Test *t)
+	{
+		testCaught = YES;
+		@throw;
+	}
+	@catch (id x)
+	{
+		assert(0 && "should not be reached!");
+	}
+	@catch (...)
+	{
+		assert(0 && "should not be reached!");
+	}
+}
+int rethrow_catchall(void)
+{
+	@try { rethrow_test(); }
+	@catch(...)
+	{
+		assert(testCaught);
+		catchallRethrown = YES;
+		@throw;
+	}
+	return 0;
+}
+int not_matched_catch(void)
+{
+	@try { rethrow_catchall(); }
+	@catch(NSString *s)
+	{
+		wrongMatch = YES;
+	}
+	return 0;
+}
+
+int main(void)
+{
+	@try
+	{
+		rethrow_catchall();
+	}
+	@catch (id x)
+	{
+		assert(finallyEntered == YES);
+		assert(cleanupRun == YES);
+		assert(idRethrown == YES);
+		assert(catchallRethrown == YES);
+		assert(wrongMatch == NO);
+		assert(object_getClass(x) == [Test class]);
+	}
+	return 0;
+}

Test/NestedExceptionsObjCXX.mm

@@ -0,0 +1,33 @@
+#include "Test.h"
+
+
+id a;
+int throwException(void)
+{
+	@throw a;
+}
+
+
+int main(void)
+{
+	id e1 = @"e1";
+	id e2 = @"e2";
+	@try
+	{
+		a = e1;
+		throwException();
+	}
+	@catch (id x)
+	{
+		assert(x == e1);
+		@try {
+			a = e2;
+			@throw a;
+		}
+		@catch (id y)
+		{
+			assert(y == e2);
+		}
+	}
+	return 0;
+}

Test/NestedExceptionsObjCXX_arc.mm

@@ -0,0 +1,33 @@
+#include "Test.h"
+
+
+id a;
+int throwException(void)
+{
+	@throw a;
+}
+
+
+int main(void)
+{
+	id e1 = @"e1";
+	id e2 = @"e2";
+	@try
+	{
+		a = e1;
+		throwException();
+	}
+	@catch (id x)
+	{
+		assert(x == e1);
+		@try {
+			a = e2;
+			@throw a;
+		}
+		@catch (id y)
+		{
+			assert(y == e2);
+		}
+	}
+	return 0;
+}