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