| Anna Zaks | 647a751 | 2011-08-18 19:02:46 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core -analyzer-store=region -analyzer-output=text -verify %s |
| 2 | |
| 3 | // This file is for testing enhanced diagnostics produced by the default BugReporterVisitors. |
| 4 | |
| 5 | int getPasswordAndItem() |
| 6 | { |
| 7 | int err = 0; |
| Ted Kremenek | 4238f41 | 2013-02-26 19:44:38 +0000 | [diff] [blame] | 8 | int *password; // expected-note {{'password' declared without an initial value}} |
| Anna Zaks | 647a751 | 2011-08-18 19:02:46 +0000 | [diff] [blame] | 9 | 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 | } |