inline4.c revision ed8afacb8118b71bcfa8017059e51da325e7691b 
1// RUN: false
2// XFAIL: *
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