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