diff options
| author | rdivacky <rdivacky@FreeBSD.org> | 2009-11-05 17:18:09 +0000 |
|---|---|---|
| committer | rdivacky <rdivacky@FreeBSD.org> | 2009-11-05 17:18:09 +0000 |
| commit | b3a51061b1b9c4add078237850649f7c9efb13ab (patch) | |
| tree | 8b316eca843681b024034db1125707173b9adb4a /test/Coverage/html-diagnostics.c | |
| parent | b6d5e15aae202f157c6cd63da8fa4b089e7b31e9 (diff) | |
| download | FreeBSD-src-b3a51061b1b9c4add078237850649f7c9efb13ab.zip FreeBSD-src-b3a51061b1b9c4add078237850649f7c9efb13ab.tar.gz | |
Update clang to r86140.
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 e3db166..55376d0 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; |
