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.
6int a;
7
8void f1() {
9  if (1 && a)
10    return;
11}
12
13void f2() {
14  f1();
15}
16