[cfe-commits] r173295 - /cfe/trunk/test/Analysis/NoReturn.m

[Ted Kremenek]

Author: kremenek
Date: Wed Jan 23 15:29:13 2013
New Revision: 173295

URL: http://llvm.org/viewvc/llvm-project?rev=173295&view=rev
Log:
Add a test case for 'analyzer_noreturn' on category methods.

Modified:
    cfe/trunk/test/Analysis/NoReturn.m

Modified: cfe/trunk/test/Analysis/NoReturn.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/NoReturn.m?rev=173295&r1=173294&r2=173295&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/NoReturn.m (original)
+++ cfe/trunk/test/Analysis/NoReturn.m Wed Jan 23 15:29:13 2013
@@ -112,4 +112,14 @@
   *p = 0xDEADBEEF; // expected-warning {{null pointer}}
 }
 
+// Test analyzer_noreturn on category methods.
+ at interface NSException (OBExtensions)
++ (void)raise:(NSString *)name reason:(NSString *)reason __attribute__((analyzer_noreturn));
+ at end
+
+void PR11959(int *p) {
+  if (!p)
+    [NSException raise:@"Bad Pointer" reason:@"Who knows?"];
+  *p = 0xDEADBEEF; // no-warning
+}