test/Analysis/inline3.c

   1 // RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-inline-call -analyzer-store region -verify %s
   2
   3 // Test when entering f1(), we set the right AnalysisContext to Environment.
   4 // Otherwise, block-level expr '1 && a' would not be block-level.
   5 int a;
   6
   7 void f1() {
   8   if (1 && a)
   9     return;
  10 }
  11
  12 void f2() {
  13   f1();
  14 }