1 // RUN: %clang_analyze_cc1 -w -x c -analyzer-checker=core -analyzer-output=text -verify %s 2 3 // Avoid the crash when finding the expression for tracking the origins 4 // of the null pointer for path notes. 5 void pr34373() { 6 int *a = 0; // expected-note{{'a' initialized to a null pointer value}} 7 (a + 0)[0]; // expected-warning{{Array access results in a null pointer dereference}} 8 // expected-note@-1{{Array access results in a null pointer dereference}} 9 } 10