1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-inline-call -analyzer-store region -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 
7 void f1() {
8   if (1 && a)
9     return;
10 }
11 
12 void f2() {
13   f1();
14 }
15