Added test case for static analysis to warn about passing uninitialized values as arguments (not the receiver) in message expressions.

llvm-svn: 48845
This commit is contained in:
Ted Kremenek 2008-03-26 22:00:11 +00:00
parent a1d9ed137a
commit 9dd6ddec63
1 changed files with 7 additions and 0 deletions

View File

@ -1,6 +1,7 @@
// RUN: clang -grsimple -verify %s
#include <Foundation/NSString.h>
#include <Foundation/NSArray.h>
void f1() {
NSString *aString;
@ -11,3 +12,9 @@ void f2() {
NSString *aString = nil;
unsigned i = [aString length]; // no-warning
}
void f3() {
NSMutableArray *aArray = [NSArray array];
NSString *aString;
[aArray addObject:aString]; // expected-warning {{Pass-by-value argument in message expression is undefined.}}
}