inline4.c revision 1c625f25055331bf76ab5479a8060d2b0f61e8b8 
1// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -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