]> granicus.if.org Git - clang/commitdiff
Add a test for checking that custom diagnostic visitors are working.
authorAnna Zaks <ganna@apple.com>
Thu, 18 Aug 2011 19:02:46 +0000 (19:02 +0000)
committerAnna Zaks <ganna@apple.com>
Thu, 18 Aug 2011 19:02:46 +0000 (19:02 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@137970 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/default-diagnostic-visitors.c [new file with mode: 0644]

diff --git a/test/Analysis/default-diagnostic-visitors.c b/test/Analysis/default-diagnostic-visitors.c
new file mode 100644 (file)
index 0000000..9cb9ba8
--- /dev/null
@@ -0,0 +1,13 @@
+// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core -analyzer-store=region -analyzer-output=text -verify %s
+
+// This file is for testing enhanced diagnostics produced by the default BugReporterVisitors.
+
+int getPasswordAndItem()
+{
+  int err = 0;
+  int *password; // expected-note {{Variable 'password' declared without an initial value}}
+  if (password == 0) { // expected-warning {{The left operand of '==' is a garbage value}} // expected-note {{The left operand of '==' is a garbage value}}
+    err = *password;
+  }
+  return err;
+}