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 |