blocks-no-inline.c revision bfa9ab8183e2fdc74f8633d758cb0c6201314320 
1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,debug.ExprInspection -analyzer-config 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