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