blob: c8f64bc6d7f48324c8973333c5bcd12f4137d91f [file] [log] [blame]
Dominic Chen184c6242017-03-03 18:02:02 +00001// RUN: %clang_analyze_cc1 -triple x86_64-apple-darwin10 -analyzer-checker=core -analyzer-store=region -analyzer-output=text -verify %s
Anna Zaks3c06d7f2011-08-18 19:02:46 +00002
3// This file is for testing enhanced diagnostics produced by the default BugReporterVisitors.
4
5int getPasswordAndItem()
6{
7 int err = 0;
Ted Kremenek37c777e2013-02-26 19:44:38 +00008 int *password; // expected-note {{'password' declared without an initial value}}
Anna Zaks3c06d7f2011-08-18 19:02:46 +00009 if (password == 0) { // expected-warning {{The left operand of '==' is a garbage value}} // expected-note {{The left operand of '==' is a garbage value}}
10 err = *password;
11 }
12 return err;
13}