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