16 lines · c
1// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s2// expected-no-diagnostics3 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