test/Analysis/inline4.c

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
   2 // expected-no-diagnostics
   3
   4 int g(int a) {
   5   return a;
   6 }
   7
   8 int 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 }