From 5102a25bf876a8c0e85b9ed64296c47bf3069410 Mon Sep 17 00:00:00 2001
From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 2 May 2008 17:13:14 +0000
Subject: [PATCH] Static analysis test case for noreturn on exceptions.

llvm-svn: 50580
---
 clang/test/Analysis-Apple/NoReturn.m | 36 ++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 clang/test/Analysis-Apple/NoReturn.m

diff --git a/clang/test/Analysis-Apple/NoReturn.m b/clang/test/Analysis-Apple/NoReturn.m
new file mode 100644
index 000000000000..6d53003c3c1a
--- /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
+}
+