// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-dump-egraph=%t.dot %s
// RUN: cat %t.dot | FileCheck %s
// REQUIRES: asserts

int getJ();

int foo() {
  int *x = 0;
  return *x;
}

// CHECK: digraph "Exploded Graph" {
// CHECK: Edge: (B2, B1)
// CHECK: Block Entrance: B1
// CHECK: Bug report attached