Add path-sensitivity test case.

llvm-svn: 56294
2008-09-17 22:24:13 +00:00 · 2008-09-17 22:24:13 +00:00 · 24bef31597
parent 86d97c7985
commit 24bef31597
1 changed files with 11 additions and 0 deletions
--- a/clang/test/Analysis/null-deref-ps.c
+++ b/clang/test/Analysis/null-deref-ps.c
@ -100,3 +100,14 @@ int f9(int len) {

  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
+}
+