inline4.c revision 66253352131e3e7a22b3bfd0e180607aa2bfb988 
1// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-ipa=inlining -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