// RUN: %clang_cc1 -analyze -analyzer-checker=debug.AnalysisOrder -analyzer-config debug.AnalysisOrder:Bind=true -analyzer-config debug.AnalysisOrder:RegionChanges=true %s 2>&1 | FileCheck %s

struct Super {
  virtual void m();
};
struct Sub : Super {
  virtual void m() {}
};

void testTemporaries() {
  // This triggers RegionChanges twice:
  // - Once for zero-initialization of the structure.
  // - Once for creating a temporary region and copying the structure there.
  // FIXME: This code shouldn't really produce the extra temporary, however
  // that's how we behave for now.
  Sub().m();
}

void seeIfCheckBindWorks() {
  // This should trigger checkBind. The rest of the code shouldn't.
  // This also triggers checkRegionChanges after that.
  // Note that this function is analyzed first, so the messages would be on top.
  int x = 1;
}

// seeIfCheckBindWorks():
// CHECK: Bind
// CHECK-NEXT: RegionChanges

// testTemporaries():
// CHECK-NEXT: RegionChanges
// CHECK-NEXT: RegionChanges

// Make sure there's no further output.
// CHECK-NOT: Bind
// CHECK-NOT: RegionChanges