[cfe-commits] r52362 - in /cfe/trunk/test: Analysis-Apple/uninit-msg-expr.m Analysis/uninit-msg-expr.m

[Ted Kremenek]

Author: kremenek
Date: Mon Jun 16 16:15:29 2008
New Revision: 52362

URL: http://llvm.org/viewvc/llvm-project?rev=52362&view=rev
Log:
Move test case "uninit-msg-expr.m" from Analysis-Apple to Analysis (now works on all platforms).

Added:
    cfe/trunk/test/Analysis/uninit-msg-expr.m
Removed:
    cfe/trunk/test/Analysis-Apple/uninit-msg-expr.m

Removed: cfe/trunk/test/Analysis-Apple/uninit-msg-expr.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis-Apple/uninit-msg-expr.m?rev=52361&view=auto

==============================================================================
--- cfe/trunk/test/Analysis-Apple/uninit-msg-expr.m (original)
+++ cfe/trunk/test/Analysis-Apple/uninit-msg-expr.m (removed)
@@ -1,20 +0,0 @@
-// RUN: clang -checker-simple -verify %s
-
-#include <Foundation/NSString.h>
-#include <Foundation/NSArray.h>
-
-unsigned f1() {
-  NSString *aString;
-  return [aString length]; // expected-warning {{Receiver in message expression is an uninitialized value}}
-}
-
-unsigned f2() {
-  NSString *aString = nil;
-  return [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.}}
-}

Added: cfe/trunk/test/Analysis/uninit-msg-expr.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/uninit-msg-expr.m?rev=52362&view=auto

==============================================================================
--- cfe/trunk/test/Analysis/uninit-msg-expr.m (added)
+++ cfe/trunk/test/Analysis/uninit-msg-expr.m Mon Jun 16 16:15:29 2008
@@ -0,0 +1,56 @@
+// RUN: clang -checker-simple -verify %s
+
+//===----------------------------------------------------------------------===//
+// The following code is reduced using delta-debugging from
+// Foundation.h (Mac OS X).
+//
+// It includes the basic definitions for the test cases below.
+// Not directly including Foundation.h directly makes this test case 
+// both svelte and portable to non-Mac platforms.
+//===----------------------------------------------------------------------===//
+
+typedef signed char BOOL;
+typedef unsigned int NSUInteger;
+typedef struct _NSZone NSZone;
+ at class NSInvocation, NSMethodSignature, NSCoder, NSString, NSEnumerator;
+ at protocol NSObject  - (BOOL)isEqual:(id)object; @end
+ at protocol NSCopying  - (id)copyWithZone:(NSZone *)zone; @end
+ at protocol NSMutableCopying  - (id)mutableCopyWithZone:(NSZone *)zone; @end
+ at protocol NSCoding  - (void)encodeWithCoder:(NSCoder *)aCoder; @end
+ at interface NSObject <NSObject> {} @end
+ at class NSString, NSData;
+ at class NSString, NSData, NSMutableData, NSMutableDictionary, NSMutableArray;
+typedef struct {} NSFastEnumerationState;
+ at protocol NSFastEnumeration
+- (NSUInteger)countByEnumeratingWithState:(NSFastEnumerationState *)state objects:(id *)stackbuf count:(NSUInteger)len;
+ at end
+ at class NSData, NSIndexSet, NSString, NSURL;
+ at interface NSArray : NSObject <NSCopying, NSMutableCopying, NSCoding, NSFastEnumeration>
+- (NSUInteger)count;
+ at end
+ at interface NSArray (NSArrayCreation)
++ (id)array;
+- (NSUInteger)length;
+- (void)addObject:(id)object;
+ at end
+extern NSString * const NSUndoManagerCheckpointNotification;
+
+//===----------------------------------------------------------------------===//
+// Test cases.
+//===----------------------------------------------------------------------===//
+
+unsigned f1() {
+  NSString *aString;
+  return [aString length]; // expected-warning {{Receiver in message expression is an uninitialized value}}
+}
+
+unsigned f2() {
+  NSString *aString = 0;
+  return [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.}}
+}