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