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.
+@interface NSException (OBExtensions)
++ (void)raise:(NSString *)name reason:(NSString *)reason
__attribute__((analyzer_noreturn));
+@end
+
+void PR11959(int *p) {
+ if (!p)
+ [NSException raise:@"Bad Pointer" reason:@"Who knows?"];
+ *p = 0xDEADBEEF; // no-warning
+}
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
