| Jordan Rose | 740d490 | 2012-07-02 19:27:35 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-ipa=none -fblocks -verify %s |
| 2 | |||||
| 3 | void clang_analyzer_eval(int); | ||||
| 4 | |||||
| 5 | void testInvalidation() { | ||||
| 6 | __block int i = 0; | ||||
| 7 | ^{ | ||||
| 8 | ++i; | ||||
| 9 | }(); | ||||
| 10 | |||||
| 11 | // Under inlining, we will know that i == 1. | ||||
| 12 | clang_analyzer_eval(i == 0); // expected-warning{{UNKNOWN}} | ||||
| 13 | } | ||||