blocks-no-inline.c revision 740d490593e0de8732a697c9f77b90ddd463863b 
1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-ipa=none -fblocks -verify %s
2
3void clang_analyzer_eval(int);
4
5void 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}
14