| Daniel Dunbar | 4fcfde4 | 2009-11-08 01:45:36 +0000 | [diff] [blame] | 1 | // RUN: rm -rf %t |
| 2 | // RUN: clang-cc -analyze -analyzer-output=html -checker-cfref -o %t %s | ||||
| Daniel Dunbar | ad451cc | 2009-11-05 02:11:37 +0000 | [diff] [blame] | 3 | // RUN: cat %t/*.html | FileCheck %s |
| 4 | |||||
| 5 | // CHECK: <h3>Annotated Source Code</h3> | ||||
| 6 | // CHECK: Dereference of null pointer | ||||
| Daniel Dunbar | ae3c16c | 2008-10-04 20:46:41 +0000 | [diff] [blame] | 7 | |
| 8 | void f0(int x) { | ||||
| 9 | int *p = &x; | ||||
| 10 | |||||
| 11 | if (x > 10) { | ||||
| 12 | if (x == 22) | ||||
| 13 | p = 0; | ||||
| 14 | } | ||||
| 15 | |||||
| 16 | *p = 10; | ||||
| 17 | } | ||||
| 18 | |||||
| 19 | |||||