commit f6e5ec45950df60555ee96c62b728b485394e34e
author Ted Kremenek <kremenek@apple.com> Wed Sep 17 22:24:13 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Sep 17 22:24:13 2008 +0000
tree 0f63fa8624c825a687c1a29996b3fa97ed19bac4
parent 834af456588587194337bb32671fb9329e73a7f7

Add path-sensitivity test case.


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

test/Analysis/null-deref-ps.c

diff --git a/test/Analysis/null-deref-ps.c b/test/Analysis/null-deref-ps.c
index fb6b208..0f86acd 100644
--- a/test/Analysis/null-deref-ps.c
+++ b/test/Analysis/null-deref-ps.c
@@ -100,3 +100,14 @@
 
   return *p++; // no-warning
 }
+
+int f9b(int len) {
+  assert (len > 0);  // note use of '>'
+  int *p = 0;
+
+  for (int i = 0; i < len; ++i)
+   p = qux(i);
+
+  return *p++; // no-warning
+}
+