Static analysis test case for noreturn on exceptions.

llvm-svn: 50580

1 files changed, 36 insertions, 0 deletions

diff --git a/clang/test/Analysis-Apple/NoReturn.m b/clang/test/Analysis-Apple/NoReturn.m
new file mode 100644
index 00000000000..6d53003c3c1
--- /dev/null
+++ b/clang/test/Analysis-Apple/NoReturn.m
@@ -0,0 +1,36 @@
+// RUN: clang -checker-simple -verify %s
+// RUN: clang -checker-cfref -verify %s
+
+
+#include <Foundation/NSException.h>
+#include <Foundation/NSString.h>
+
+int* f1(int *x, NSString* s) {
+  
+  if (x) ++x;
+  
+  [NSException raise:@"Blah" format:[NSString stringWithFormat:@"Blah %@", s]];
+  
+  return *x; // no-warning
+}
+
+int* f2(int *x, ...) {
+  
+  if (x) ++x;
+  va_list alist;
+  va_start(alist, x);
+  
+  [NSException raise:@"Blah" format:@"Blah %@" arguments:alist];
+  
+  return *x; // no-warning
+}
+
+int *f3(int* x) {
+  
+  if (x) ++x;
+  
+  [[NSException exceptionWithName:@"My Exception" reason:@"Want to test exceptions." userInfo:nil] raise];
+
+  return *x; // no-warning
+}
+