// RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCallGraph %s 2>&1 | FileCheck %s

static int aaa() {
  return 0;
}

static int bbb(int param=aaa()) {
  return 1;
}

int ddd();

struct c {
  c(int param=2) : val(bbb(param)) {}
  int val;
  int val2 = ddd();
};

int ddd() {
  c c;
  return bbb();
}

// CHECK:--- Call graph Dump ---
// CHECK-NEXT: {{Function: < root > calls: aaa bbb c::c ddd}}
// CHECK-NEXT: {{Function: c::c calls: bbb ddd $}}
// CHECK-NEXT: {{Function: ddd calls: c::c bbb aaa $}}
// CHECK-NEXT: {{Function: bbb calls: $}}
// CHECK-NEXT: {{Function: aaa calls: $}}