From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 19 Sep 2008 20:53:52 +0000 (+0000)
Subject: Test case for transfer function logic of const casts.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=fb8a7fd7741e84b3fa1d5e18a42e223c8efc9d5e;p=clang

Test case for transfer function logic of const casts.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56369 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Analysis/uninit-vals.m b/test/Analysis/uninit-vals.m
new file mode 100644
index 0000000000..74aa667202
--- /dev/null
+++ b/test/Analysis/uninit-vals.m
@@ -0,0 +1,24 @@
+// RUN: clang -checker-cfref -verify %s
+
+typedef unsigned int NSUInteger;
+
+@interface A
+- (NSUInteger)foo;
+@end
+
+NSUInteger f8(A* x){
+  const NSUInteger n = [x foo];
+  int* bogus;  
+
+  if (n > 0) {    // tests const cast transfer function logic
+    NSUInteger i;
+    
+    for (i = 0; i < n; ++i)
+      bogus = 0;
+
+    if (bogus)  // no-warning
+      return n+1;
+  }
+  
+  return n;
+}