diff options
| author | Roman Divacky <rdivacky@FreeBSD.org> | 2009-11-05 17:18:09 +0000 |
|---|---|---|
| committer | Roman Divacky <rdivacky@FreeBSD.org> | 2009-11-05 17:18:09 +0000 |
| commit | 8f57cb0305232cb53fff00ef151ca716766f3437 (patch) | |
| tree | 8b316eca843681b024034db1125707173b9adb4a /test/Coverage/html-diagnostics.c | |
| parent | 51fb8b013e7734b795139f49d3b1f77c539be20a (diff) | |
Notes
Diffstat (limited to 'test/Coverage/html-diagnostics.c')
| -rw-r--r-- | test/Coverage/html-diagnostics.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/Coverage/html-diagnostics.c b/test/Coverage/html-diagnostics.c index e3db1668d8363..55376d0e440e0 100644 --- a/test/Coverage/html-diagnostics.c +++ b/test/Coverage/html-diagnostics.c @@ -1,5 +1,9 @@ // RUN: rm -rf %t && -// RUN: clang-cc --html-diags=%t -checker-cfref %s +// 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; |