diff options
| -rw-r--r-- | test/Analysis/null-deref-ps.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/Analysis/null-deref-ps.c b/test/Analysis/null-deref-ps.c index fb6b2089f0..0f86acdabc 100644 --- a/test/Analysis/null-deref-ps.c +++ b/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 +} + |