diff options
Diffstat (limited to 'clang/test/Analysis/null-deref-ps.c')
| -rw-r--r-- | clang/test/Analysis/null-deref-ps.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/clang/test/Analysis/null-deref-ps.c b/clang/test/Analysis/null-deref-ps.c index 5a1049c7d71..eac7957fb92 100644 --- a/clang/test/Analysis/null-deref-ps.c +++ b/clang/test/Analysis/null-deref-ps.c @@ -118,6 +118,11 @@ void f6d(int *p) { } } +void f6e(int *p, int offset) { + // PR7406 - crash from treating an UnknownVal as defined, to see if it's 0. + bar((p+offset)+1, 0); // not crash +} + int* qux(); int f7(int x) { |
