inline3.c revision c4d2c9074be6eb2091086eddd6c8f052f3b245c8 
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 AnalysisContext to Environment.
4// Otherwise, block-level expr '1 && a' would not be block-level.
5int a;
6
7void f1() {
8  if (1 && a)
9    return;
10}
11
12void f2() {
13  f1();
14}
15