| // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s | |
| // expected-no-diagnostics | |
| int g(int a) { | |
| return a; | |
| } | |
| int f(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. | |
| return 1; | |
| return 0; | |
| } |