1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -verify %s 2 // expected-no-diagnostics 3 4 // Test when entering f1(), we set the right AnalysisDeclContext to Environment. 5 // Otherwise, block-level expr '1 && a' would not be block-level. 6 int a; 7 f1()8void f1() { 9 if (1 && a) 10 return; 11 } 12 f2()13void f2() { 14 f1(); 15 } 16