inline3.c revision 57d3b76761bdba265769deb497afa784935602be 
1// RUN: %clang_cc1 -analyze -inline-call -analyzer-store region -analyze-function f2 -verify %s
2
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