1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-inline-call -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