aef52f4c83
of coverage of this from the analyzer. If this bothers you, I can add it back in a mode where non-source diagnostics go to stderr and only source diagnostics use -html-diags, but I don't think anyone uses this. llvm-svn: 86109
20 lines
313 B
C
20 lines
313 B
C
// 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;
|
|
}
|
|
|
|
|