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