| Jordan Rose | b0e1bad | 2012-08-03 23:08:54 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-ipa=inlining -analyzer-output=text -verify %s |
| 2 | |
| 3 | void zero(int **p) { |
| 4 | *p = 0; |
| 5 | // expected-note@-1 {{Null pointer value stored to 'a'}} |
| 6 | } |
| 7 | |
| 8 | void testZero(int *a) { |
| 9 | zero(&a); |
| 10 | // expected-note@-1 {{Calling 'zero'}} |
| 11 | // expected-note@-2 {{Returning from 'zero'}} |
| 12 | *a = 1; // expected-warning{{Dereference of null pointer}} |
| 13 | // expected-note@-1 {{Dereference of null pointer (loaded from variable 'a')}} |
| 14 | } |