1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
2 // expected-no-diagnostics
3 
g(int a)4 int g(int a) {
5   return a;
6 }
7 
f(int a)8 int 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