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 } 14
