blob: 3079632e1205a8c7e9347a40b4343d728d2df496 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// RUN: rm -rf %t
// RUN: clang-cc -analyze -analyzer-output=html -checker-cfref -o %t %s
// RUN: cat %t/*.html | FileCheck %s
// CHECK: <h3>Annotated Source Code</h3>
// CHECK: Dereference of null pointer
void f0(int x) {
int *p = &x;
if (x > 10) {
if (x == 22)
p = 0;
}
*p = 10;
}
|
