inline3.c revision ed8afacb8118b71bcfa8017059e51da325e7691b 
1// RUN: false
2// XFAIL: *
3
4// Test when entering f1(), we set the right AnalysisContext 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