diff options
Diffstat (limited to 'test/Analysis/null-deref-path-notes.c')
| -rw-r--r-- | test/Analysis/null-deref-path-notes.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/Analysis/null-deref-path-notes.c b/test/Analysis/null-deref-path-notes.c new file mode 100644 index 000000000000..a1477a6226a7 --- /dev/null +++ b/test/Analysis/null-deref-path-notes.c @@ -0,0 +1,9 @@ +// RUN: %clang_analyze_cc1 -w -x c -analyzer-checker=core -analyzer-output=text -verify %s + +// Avoid the crash when finding the expression for tracking the origins +// of the null pointer for path notes. +void pr34373() { + int *a = 0; // expected-note{{'a' initialized to a null pointer value}} + (a + 0)[0]; // expected-warning{{Array access results in a null pointer dereference}} + // expected-note@-1{{Array access results in a null pointer dereference}} +} |