]> granicus.if.org Git - clang/commitdiff
Add test cases for <rdar://problem/7332673>.
authorTed Kremenek <kremenek@apple.com>
Tue, 27 Oct 2009 01:05:20 +0000 (01:05 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 27 Oct 2009 01:05:20 +0000 (01:05 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@85191 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/misc-ps-region-store.m

index b6fff102a7019903d08e1256379dfd2b0bc4b926..a430a44db609efd3727d15e77d45025211494787 100644 (file)
@@ -372,3 +372,17 @@ void doSomething_7312221_with_struct(struct rdar_7312221_container *Self) {
   }
 }
 
+//===----------------------------------------------------------------------===//
+// <rdar://problem/7332673> - Just more tests cases for regions
+//===----------------------------------------------------------------------===//
+
+void rdar_7332673_test1() {
+    char value[1];
+    if ( *(value) != 1 ) {} // expected-warning{{The left operand of '!=' is a garbage value}}
+}
+void rdar_rdar_7332673_test2_aux(char *x);
+void rdar_7332673_test2() {
+    char *value;
+    if ( rdar_7332673_test2_aux(value) != 1 ) {} // expected-warning{{Pass-by-value argument in function call is undefined}}
+}
+