// RUN: %clang_cc1 -analyze -analyzer-checker=core -verify %s// expected-no-diagnosticsintg(int a) {return a;}intf(int a) {// Do not remove block-level expression bindings of caller when analyzing // in the callee.if(1&&g(a))// The binding of '1 && g(a)' which is an UndefinedVal // carries important information.return1;return0;}