2009-11-08 09:45:36 +08:00
|
|
|
// RUN: rm -rf %t
|
2010-02-05 10:06:54 +08:00
|
|
|
// RUN: %clang_cc1 -analyze -analyzer-output=html -analyzer-check-objc-mem -o %t %s
|
2010-10-19 11:38:22 +08:00
|
|
|
// RUN: find %t -type f -name '*.html' -exec cat '{}' ';' | FileCheck %s
|
2009-11-05 10:11:37 +08:00
|
|
|
|
|
|
|
// CHECK: <h3>Annotated Source Code</h3>
|
2010-10-19 09:11:16 +08:00
|
|
|
|
|
|
|
// Without tweaking expr, the expr would hit to the line below
|
|
|
|
// emitted to the output as comment.
|
|
|
|
// CHECK: {{[D]ereference of null pointer}}
|
2008-10-05 04:46:41 +08:00
|
|
|
|
|
|
|
void f0(int x) {
|
|
|
|
int *p = &x;
|
|
|
|
|
|
|
|
if (x > 10) {
|
|
|
|
if (x == 22)
|
|
|
|
p = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
*p = 10;
|
|
|
|
}
|
|
|
|
|
|
|
|
|