| Anna Zaks | 2b68761 | 2013-02-07 23:05:37 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,debug.ExprInspection -verify %s |
| 2 | |||||
| 3 | void clang_analyzer_eval(int); | ||||
| 4 | |||||
| 5 | void use(int); | ||||
| 6 | id foo(int x) { | ||||
| 7 | if (x) | ||||
| 8 | return 0; | ||||
| 9 | static id p = foo(1); | ||||
| 10 | clang_analyzer_eval(p == 0); // expected-warning{{TRUE}} | ||||
| 11 | return p; | ||||
| 12 | } | ||||