inline4.c revision c4d2c9074be6eb2091086eddd6c8f052f3b245c8 
1// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-inline-call -analyzer-store region -verify %s
2
3int g(int a) {
4  return a;
5}
6
7int f(int a) {
8  // Do not remove block-level expression bindings of caller when analyzing
9  // in the callee.
10  if (1 && g(a)) // The binding of '1 && g(a)' which is an UndefinedVal
11                 // carries important information.
12    return 1;
13  return 0;
14}
15