[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs.

The motivation of this large change is to drastically simplify the logic in ExprEngine going forward.

Some fallout is that the output of some BugReporterVisitors is not as accurate as before; those will
need to be fixed over time.  There is also some possible performance regression as RemoveDeadBindings
will be called frequently; this can also be improved over time.

llvm-svn: 136419

1 files changed, 714 insertions, 651 deletions

diff --git a/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp b/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
index c877061eb6a..17aa486de0c 100644
--- a/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
+++ b/clang/test/Analysis/auto-obj-dtors-cfg-output.cpp
@@ -155,655 +155,718 @@ void test_catch_copy() {
   }
 }
 
-// CHECK: [ B2 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B1
-// CHECK: [ B1 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:      3: const A &b = a;
-// CHECK:      4: A()
-// CHECK:      5: const A &c = A();
-// CHECK:      6: [B1.5].~A() (Implicit destructor)
-// CHECK:      7: [B1.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (1): B0
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (0):
-// CHECK: [ B2 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B1
-// CHECK: [ B1 ]
-// CHECK:      1:
-// CHECK:      2: A a[2];
-// CHECK:      3:
-// CHECK:      4: A b[0];
-// CHECK:      5: [B1.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (1): B0
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (0):
-// CHECK: [ B2 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B1
-// CHECK: [ B1 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:      3:
-// CHECK:      4: A c;
-// CHECK:      5:
-// CHECK:      6: A d;
-// CHECK:      7: [B1.6].~A() (Implicit destructor)
-// CHECK:      8: [B1.4].~A() (Implicit destructor)
-// CHECK:      9:
-// CHECK:     10: A b;
-// CHECK:     11: [B1.10].~A() (Implicit destructor)
-// CHECK:     12: [B1.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (1): B0
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (0):
-// CHECK: [ B4 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B3
-// CHECK: [ B1 ]
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: [B1.2].~A() (Implicit destructor)
-// CHECK:      4: [B3.4].~A() (Implicit destructor)
-// CHECK:      5: [B3.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B3
-// CHECK:    Successors (1): B0
-// CHECK: [ B2 ]
-// CHECK:      1: return;
-// CHECK:      2: [B3.4].~A() (Implicit destructor)
-// CHECK:      3: [B3.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B3
-// CHECK:    Successors (1): B0
-// CHECK: [ B3 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:      3:
-// CHECK:      4: A b;
-// CHECK:      5: UV
-// CHECK:      T: if [B3.5]
-// CHECK:    Predecessors (1): B4
-// CHECK:    Successors (2): B2 B1
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (2): B1 B2
-// CHECK:    Successors (0):
-// CHECK: [ B8 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B7
-// CHECK: [ B1 ]
-// CHECK:    l1:
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: [B1.2].~A() (Implicit destructor)
-// CHECK:      4: [B6.2].~A() (Implicit destructor)
-// CHECK:      5: [B7.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (2): B2 B3
-// CHECK:    Successors (1): B0
-// CHECK: [ B2 ]
-// CHECK:      1:
-// CHECK:      2: A b;
-// CHECK:      3: [B2.2].~A() (Implicit destructor)
-// CHECK:      4: [B6.4].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B4
-// CHECK:    Successors (1): B1
-// CHECK: [ B3 ]
-// CHECK:      1: [B6.4].~A() (Implicit destructor)
-// CHECK:      T: goto l1;
-// CHECK:    Predecessors (1): B4
-// CHECK:    Successors (1): B1
-// CHECK: [ B4 ]
-// CHECK:      1: UV
-// CHECK:      T: if [B4.1]
-// CHECK:    Predecessors (1): B6
-// CHECK:    Successors (2): B3 B2
-// CHECK: [ B5 ]
-// CHECK:      1: [B6.4].~A() (Implicit destructor)
-// CHECK:      2: [B6.2].~A() (Implicit destructor)
-// CHECK:      T: goto l0;
-// CHECK:    Predecessors (1): B6
-// CHECK:    Successors (1): B6
-// CHECK: [ B6 ]
-// CHECK:    l0:
-// CHECK:      1:
-// CHECK:      2: A b;
-// CHECK:      3:
-// CHECK:      4: A a;
-// CHECK:      5: UV
-// CHECK:      T: if [B6.5]
-// CHECK:    Predecessors (2): B7 B5
-// CHECK:    Successors (2): B5 B4
-// CHECK: [ B7 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:    Predecessors (1): B8
-// CHECK:    Successors (1): B6
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (0):
-// CHECK: [ B5 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B4
-// CHECK: [ B1 ]
-// CHECK:      1: [B4.4].~A() (Implicit destructor)
-// CHECK:      2: [B4.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (2): B2 B3
-// CHECK:    Successors (1): B0
-// CHECK: [ B2 ]
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: [B2.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B4
-// CHECK:    Successors (1): B1
-// CHECK: [ B3 ]
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: [B3.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B4
-// CHECK:    Successors (1): B1
-// CHECK: [ B4 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:      3: a
-// CHECK:      4: A b = a;
-// CHECK:      5: b.operator int()
-// CHECK:      6: [B4.5]
-// CHECK:      T: if [B4.6]
-// CHECK:    Predecessors (1): B5
-// CHECK:    Successors (2): B3 B2
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (0):
-// CHECK: [ B9 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B8
-// CHECK: [ B1 ]
-// CHECK:      1: [B8.4].~A() (Implicit destructor)
-// CHECK:      2:
-// CHECK:      3: A e;
-// CHECK:      4: [B1.3].~A() (Implicit destructor)
-// CHECK:      5: [B8.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (2): B2 B5
-// CHECK:    Successors (1): B0
-// CHECK: [ B2 ]
-// CHECK:      1:
-// CHECK:      2: A d;
-// CHECK:      3: [B2.2].~A() (Implicit destructor)
-// CHECK:      4: [B4.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B4
-// CHECK:    Successors (1): B1
-// CHECK: [ B3 ]
-// CHECK:      1: return;
-// CHECK:      2: [B4.2].~A() (Implicit destructor)
-// CHECK:      3: [B8.4].~A() (Implicit destructor)
-// CHECK:      4: [B8.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B4
-// CHECK:    Successors (1): B0
-// CHECK: [ B4 ]
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: UV
-// CHECK:      T: if [B4.3]
-// CHECK:    Predecessors (1): B8
-// CHECK:    Successors (2): B3 B2
-// CHECK: [ B5 ]
-// CHECK:      1:
-// CHECK:      2: A d;
-// CHECK:      3: [B5.2].~A() (Implicit destructor)
-// CHECK:      4: [B7.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B7
-// CHECK:    Successors (1): B1
-// CHECK: [ B6 ]
-// CHECK:      1: return;
-// CHECK:      2: [B7.2].~A() (Implicit destructor)
-// CHECK:      3: [B8.4].~A() (Implicit destructor)
-// CHECK:      4: [B8.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B7
-// CHECK:    Successors (1): B0
-// CHECK: [ B7 ]
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: UV
-// CHECK:      T: if [B7.3]
-// CHECK:    Predecessors (1): B8
-// CHECK:    Successors (2): B6 B5
-// CHECK: [ B8 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:      3: a
-// CHECK:      4: A b = a;
-// CHECK:      5: b.operator int()
-// CHECK:      6: [B8.5]
-// CHECK:      T: if [B8.6]
-// CHECK:    Predecessors (1): B9
-// CHECK:    Successors (2): B7 B4
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (3): B1 B3 B6
-// CHECK:    Successors (0):
-// CHECK: [ B6 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B5
-// CHECK: [ B1 ]
-// CHECK:      1: [B2.2].~A() (Implicit destructor)
-// CHECK:      2: [B5.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (1): B0
-// CHECK: [ B2 ]
-// CHECK:      1: a
-// CHECK:      2: A b = a;
-// CHECK:      3: b.operator int()
-// CHECK:      4: [B2.3]
-// CHECK:      T: while [B2.4]
-// CHECK:    Predecessors (2): B3 B5
-// CHECK:    Successors (2): B4 B1
-// CHECK: [ B3 ]
-// CHECK:    Predecessors (1): B4
-// CHECK:    Successors (1): B2
-// CHECK: [ B4 ]
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: [B4.2].~A() (Implicit destructor)
-// CHECK:      4: [B2.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (1): B3
-// CHECK: [ B5 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:    Predecessors (1): B6
-// CHECK:    Successors (1): B2
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (0):
-// CHECK: [ B12 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B11
-// CHECK: [ B1 ]
-// CHECK:      1: [B2.2].~A() (Implicit destructor)
-// CHECK:      2:
-// CHECK:      3: A e;
-// CHECK:      4: [B1.3].~A() (Implicit destructor)
-// CHECK:      5: [B11.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (2): B9 B2
-// CHECK:    Successors (1): B0
-// CHECK: [ B2 ]
-// CHECK:      1: a
-// CHECK:      2: A b = a;
-// CHECK:      3: b.operator int()
-// CHECK:      4: [B2.3]
-// CHECK:      T: while [B2.4]
-// CHECK:    Predecessors (2): B3 B11
-// CHECK:    Successors (2): B10 B1
-// CHECK: [ B3 ]
-// CHECK:    Predecessors (2): B4 B7
-// CHECK:    Successors (1): B2
-// CHECK: [ B4 ]
-// CHECK:      1:
-// CHECK:      2: A d;
-// CHECK:      3: [B4.2].~A() (Implicit destructor)
-// CHECK:      4: [B10.2].~A() (Implicit destructor)
-// CHECK:      5: [B2.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B6
-// CHECK:    Successors (1): B3
-// CHECK: [ B5 ]
-// CHECK:      1: return;
-// CHECK:      2: [B10.2].~A() (Implicit destructor)
-// CHECK:      3: [B2.2].~A() (Implicit destructor)
-// CHECK:      4: [B11.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B6
-// CHECK:    Successors (1): B0
-// CHECK: [ B6 ]
-// CHECK:      1: UV
-// CHECK:      T: if [B6.1]
-// CHECK:    Predecessors (1): B8
-// CHECK:    Successors (2): B5 B4
-// CHECK: [ B7 ]
-// CHECK:      1: [B10.2].~A() (Implicit destructor)
-// CHECK:      2: [B2.2].~A() (Implicit destructor)
-// CHECK:      T: continue;
-// CHECK:    Predecessors (1): B8
-// CHECK:    Successors (1): B3
-// CHECK: [ B8 ]
-// CHECK:      1: UV
-// CHECK:      T: if [B8.1]
-// CHECK:    Predecessors (1): B10
-// CHECK:    Successors (2): B7 B6
-// CHECK: [ B9 ]
-// CHECK:      1: [B10.2].~A() (Implicit destructor)
-// CHECK:      T: break;
-// CHECK:    Predecessors (1): B10
-// CHECK:    Successors (1): B1
-// CHECK: [ B10 ]
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: UV
-// CHECK:      T: if [B10.3]
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (2): B9 B8
-// CHECK: [ B11 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:    Predecessors (1): B12
-// CHECK:    Successors (1): B2
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (2): B1 B5
-// CHECK:    Successors (0):
-// CHECK: [ B4 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B2
-// CHECK: [ B1 ]
-// CHECK:      1: UV
-// CHECK:      T: do ... while [B1.1]
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (2): B3 B0
-// CHECK: [ B2 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:      3: [B2.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (2): B3 B4
-// CHECK:    Successors (1): B1
-// CHECK: [ B3 ]
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (1): B2
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (0):
-// CHECK: [ B12 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B11
-// CHECK: [ B1 ]
-// CHECK:      1:
-// CHECK:      2: A d;
-// CHECK:      3: [B1.2].~A() (Implicit destructor)
-// CHECK:      4: [B11.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (2): B8 B2
-// CHECK:    Successors (1): B0
-// CHECK: [ B2 ]
-// CHECK:      1: UV
-// CHECK:      T: do ... while [B2.1]
-// CHECK:    Predecessors (2): B3 B6
-// CHECK:    Successors (2): B10 B1
-// CHECK: [ B3 ]
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: [B3.2].~A() (Implicit destructor)
-// CHECK:      4: [B9.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B5
-// CHECK:    Successors (1): B2
-// CHECK: [ B4 ]
-// CHECK:      1: return;
-// CHECK:      2: [B9.2].~A() (Implicit destructor)
-// CHECK:      3: [B11.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B5
-// CHECK:    Successors (1): B0
-// CHECK: [ B5 ]
-// CHECK:      1: UV
-// CHECK:      T: if [B5.1]
-// CHECK:    Predecessors (1): B7
-// CHECK:    Successors (2): B4 B3
-// CHECK: [ B6 ]
-// CHECK:      1: [B9.2].~A() (Implicit destructor)
-// CHECK:      T: continue;
-// CHECK:    Predecessors (1): B7
-// CHECK:    Successors (1): B2
-// CHECK: [ B7 ]
-// CHECK:      1: UV
-// CHECK:      T: if [B7.1]
-// CHECK:    Predecessors (1): B9
-// CHECK:    Successors (2): B6 B5
-// CHECK: [ B8 ]
-// CHECK:      1: [B9.2].~A() (Implicit destructor)
-// CHECK:      T: break;
-// CHECK:    Predecessors (1): B9
-// CHECK:    Successors (1): B1
-// CHECK: [ B9 ]
-// CHECK:      1:
-// CHECK:      2: A b;
-// CHECK:      3: UV
-// CHECK:      T: if [B9.3]
-// CHECK:    Predecessors (2): B10 B11
-// CHECK:    Successors (2): B8 B7
-// CHECK: [ B10 ]
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (1): B9
-// CHECK: [ B11 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:    Predecessors (1): B12
-// CHECK:    Successors (1): B9
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (2): B1 B4
-// CHECK:    Successors (0):
-// CHECK: [ B4 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B2
-// CHECK: [ B1 ]
-// CHECK:      1: [B2.4].~A() (Implicit destructor)
-// CHECK:      2: [B2.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (2): B3 B2
-// CHECK:    Successors (1): B0
-// CHECK: [ B2 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:      3: a
-// CHECK:      4: A b = a;
-// CHECK:      5: b.operator int()
-// CHECK:      T: switch [B2.5]
-// CHECK:    Predecessors (1): B4
-// CHECK:    Successors (1): B1
-// CHECK: [ B3 ]
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: [B3.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B1
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (0):
-// CHECK: [ B9 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B2
-// CHECK: [ B1 ]
-// CHECK:      1: [B2.4].~A() (Implicit destructor)
-// CHECK:      2:
-// CHECK:      3: A g;
-// CHECK:      4: [B1.3].~A() (Implicit destructor)
-// CHECK:      5: [B2.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (3): B3 B7 B2
-// CHECK:    Successors (1): B0
-// CHECK: [ B2 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:      3: a
-// CHECK:      4: A b = a;
-// CHECK:      5: b.operator int()
-// CHECK:      T: switch [B2.5]
-// CHECK:    Predecessors (1): B9
-// CHECK:    Successors (3): B3 B8
-// CHECK:     B1
-// CHECK: [ B3 ]
-// CHECK:    case 1:
-// CHECK:      T: break;
-// CHECK:    Predecessors (2): B2 B4
-// CHECK:    Successors (1): B1
-// CHECK: [ B4 ]
-// CHECK:      1:
-// CHECK:      2: A f;
-// CHECK:      3: [B4.2].~A() (Implicit destructor)
-// CHECK:      4: [B8.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B6
-// CHECK:    Successors (1): B3
-// CHECK: [ B5 ]
-// CHECK:      1: return;
-// CHECK:      2: [B8.2].~A() (Implicit destructor)
-// CHECK:      3: [B2.4].~A() (Implicit destructor)
-// CHECK:      4: [B2.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B6
-// CHECK:    Successors (1): B0
-// CHECK: [ B6 ]
-// CHECK:      1: UV
-// CHECK:      T: if [B6.1]
-// CHECK:    Predecessors (1): B8
-// CHECK:    Successors (2): B5 B4
-// CHECK: [ B7 ]
-// CHECK:      1: [B8.2].~A() (Implicit destructor)
-// CHECK:      T: break;
-// CHECK:    Predecessors (1): B8
-// CHECK:    Successors (1): B1
-// CHECK: [ B8 ]
-// CHECK:    case 0:
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: UV
-// CHECK:      T: if [B8.3]
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (2): B7 B6
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (2): B1 B5
-// CHECK:    Successors (0):
-// CHECK: [ B6 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B5
-// CHECK: [ B1 ]
-// CHECK:      1: [B2.2].~A() (Implicit destructor)
-// CHECK:      2: [B5.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (1): B0
-// CHECK: [ B2 ]
-// CHECK:      1: a
-// CHECK:      2: A b = a;
-// CHECK:      3: b.operator int()
-// CHECK:      4: [B2.3]
-// CHECK:      T: for (...; [B2.4]; )
-// CHECK:    Predecessors (2): B3 B5
-// CHECK:    Successors (2): B4 B1
-// CHECK: [ B3 ]
-// CHECK:      1: [B2.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B4
-// CHECK:    Successors (1): B2
-// CHECK: [ B4 ]
-// CHECK:      1:
-// CHECK:      2: A c;
-// CHECK:      3: [B4.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (1): B3
-// CHECK: [ B5 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:    Predecessors (1): B6
-// CHECK:    Successors (1): B2
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (0):
-// CHECK: [ B12 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B11
-// CHECK: [ B1 ]
-// CHECK:      1: [B2.2].~A() (Implicit destructor)
-// CHECK:      2: [B11.4].~A() (Implicit destructor)
-// CHECK:      3:
-// CHECK:      4: A f;
-// CHECK:      5: [B1.4].~A() (Implicit destructor)
-// CHECK:      6: [B11.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (2): B9 B2
-// CHECK:    Successors (1): B0
-// CHECK: [ B2 ]
-// CHECK:      1: b
-// CHECK:      2: A c = b;
-// CHECK:      3: c.operator int()
-// CHECK:      4: [B2.3]
-// CHECK:      T: for (...; [B2.4]; )
-// CHECK:    Predecessors (2): B3 B11
-// CHECK:    Successors (2): B10 B1
-// CHECK: [ B3 ]
-// CHECK:      1: [B2.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (2): B4 B7
-// CHECK:    Successors (1): B2
-// CHECK: [ B4 ]
-// CHECK:      1:
-// CHECK:      2: A e;
-// CHECK:      3: [B4.2].~A() (Implicit destructor)
-// CHECK:      4: [B10.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B6
-// CHECK:    Successors (1): B3
-// CHECK: [ B5 ]
-// CHECK:      1: return;
-// CHECK:      2: [B10.2].~A() (Implicit destructor)
-// CHECK:      3: [B2.2].~A() (Implicit destructor)
-// CHECK:      4: [B11.4].~A() (Implicit destructor)
-// CHECK:      5: [B11.2].~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B6
-// CHECK:    Successors (1): B0
-// CHECK: [ B6 ]
-// CHECK:      1: UV
-// CHECK:      T: if [B6.1]
-// CHECK:    Predecessors (1): B8
-// CHECK:    Successors (2): B5 B4
-// CHECK: [ B7 ]
-// CHECK:      1: [B10.2].~A() (Implicit destructor)
-// CHECK:      T: continue;
-// CHECK:    Predecessors (1): B8
-// CHECK:    Successors (1): B3
-// CHECK: [ B8 ]
-// CHECK:      1: UV
-// CHECK:      T: if [B8.1]
-// CHECK:    Predecessors (1): B10
-// CHECK:    Successors (2): B7 B6
-// CHECK: [ B9 ]
-// CHECK:      1: [B10.2].~A() (Implicit destructor)
-// CHECK:      T: break;
-// CHECK:    Predecessors (1): B10
-// CHECK:    Successors (1): B1
-// CHECK: [ B10 ]
-// CHECK:      1:
-// CHECK:      2: A d;
-// CHECK:      3: UV
-// CHECK:      T: if [B10.3]
-// CHECK:    Predecessors (1): B2
-// CHECK:    Successors (2): B9 B8
-// CHECK: [ B11 ]
-// CHECK:      1:
-// CHECK:      2: A a;
-// CHECK:      3:
-// CHECK:      4: A b;
-// CHECK:    Predecessors (1): B12
-// CHECK:    Successors (1): B2
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (2): B1 B5
-// CHECK:    Successors (0):
-// CHECK: [ B3 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B0
-// CHECK: [ B1 ]
-// CHECK:      T: try ...
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (2): B2 B0
-// CHECK: [ B2 ]
-// CHECK:    catch (const A &e):
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (1): B0
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (3): B2 B1 B3
-// CHECK:    Successors (0):
-// CHECK: [ B3 (ENTRY) ]
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (1): B0
-// CHECK: [ B1 ]
-// CHECK:      T: try ...
-// CHECK:    Predecessors (0):
-// CHECK:    Successors (2): B2 B0
-// CHECK: [ B2 ]
-// CHECK:    catch (A e):
-// CHECK:      1: .~A() (Implicit destructor)
-// CHECK:    Predecessors (1): B1
-// CHECK:    Successors (1): B0
-// CHECK: [ B0 (EXIT) ]
-// CHECK:    Predecessors (3): B2 B1 B3
-// CHECK:    Successors (0):
+// CHECK:  [ B2 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B1
+// CHECK:  [ B1 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:       3: a
+// CHECK:       4: [B1.3]
+// CHECK:       5: const A &b = a;
+// CHECK:       6: A()
+// CHECK:       7: [B1.6] (BindTemporary)
+// CHECK:       8: [B1.7]
+// CHECK:       9: [B1.8]
+// CHECK:      10: const A &c = A();
+// CHECK:      11: [B1.10].~A() (Implicit destructor)
+// CHECK:      12: [B1.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (1): B0
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (0):
+// CHECK:  [ B2 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B1
+// CHECK:  [ B1 ]
+// CHECK:       1: 
+// CHECK:       2: A a[2];
+// CHECK:       3: 
+// CHECK:       4: A b[0];
+// CHECK:       5: [B1.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (1): B0
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (0):
+// CHECK:  [ B2 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B1
+// CHECK:  [ B1 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:       3: 
+// CHECK:       4: A c;
+// CHECK:       5: 
+// CHECK:       6: A d;
+// CHECK:       7: [B1.6].~A() (Implicit destructor)
+// CHECK:       8: [B1.4].~A() (Implicit destructor)
+// CHECK:       9: 
+// CHECK:      10: A b;
+// CHECK:      11: [B1.10].~A() (Implicit destructor)
+// CHECK:      12: [B1.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (1): B0
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (0):
+// CHECK:  [ B4 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B3
+// CHECK:  [ B1 ]
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: [B1.2].~A() (Implicit destructor)
+// CHECK:       4: [B3.4].~A() (Implicit destructor)
+// CHECK:       5: [B3.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B3
+// CHECK:     Successors (1): B0
+// CHECK:  [ B2 ]
+// CHECK:       1: return;
+// CHECK:       2: [B3.4].~A() (Implicit destructor)
+// CHECK:       3: [B3.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B3
+// CHECK:     Successors (1): B0
+// CHECK:  [ B3 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:       3: 
+// CHECK:       4: A b;
+// CHECK:       5: UV
+// CHECK:       6: [B3.5]
+// CHECK:       T: if [B3.6]
+// CHECK:     Predecessors (1): B4
+// CHECK:     Successors (2): B2 B1
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (2): B1 B2
+// CHECK:     Successors (0):
+// CHECK:  [ B8 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B7
+// CHECK:  [ B1 ]
+// CHECK:     l1:
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: [B1.2].~A() (Implicit destructor)
+// CHECK:       4: [B6.2].~A() (Implicit destructor)
+// CHECK:       5: [B7.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (2): B2 B3
+// CHECK:     Successors (1): B0
+// CHECK:  [ B2 ]
+// CHECK:       1: 
+// CHECK:       2: A b;
+// CHECK:       3: [B2.2].~A() (Implicit destructor)
+// CHECK:       4: [B6.4].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B4
+// CHECK:     Successors (1): B1
+// CHECK:  [ B3 ]
+// CHECK:       1: [B6.4].~A() (Implicit destructor)
+// CHECK:       T: goto l1;
+// CHECK:     Predecessors (1): B4
+// CHECK:     Successors (1): B1
+// CHECK:  [ B4 ]
+// CHECK:       1: UV
+// CHECK:       2: [B4.1]
+// CHECK:       T: if [B4.2]
+// CHECK:     Predecessors (1): B6
+// CHECK:     Successors (2): B3 B2
+// CHECK:  [ B5 ]
+// CHECK:       1: [B6.4].~A() (Implicit destructor)
+// CHECK:       2: [B6.2].~A() (Implicit destructor)
+// CHECK:       T: goto l0;
+// CHECK:     Predecessors (1): B6
+// CHECK:     Successors (1): B6
+// CHECK:  [ B6 ]
+// CHECK:     l0:
+// CHECK:       1: 
+// CHECK:       2: A b;
+// CHECK:       3: 
+// CHECK:       4: A a;
+// CHECK:       5: UV
+// CHECK:       6: [B6.5]
+// CHECK:       T: if [B6.6]
+// CHECK:     Predecessors (2): B7 B5
+// CHECK:     Successors (2): B5 B4
+// CHECK:  [ B7 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:     Predecessors (1): B8
+// CHECK:     Successors (1): B6
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (0):
+// CHECK:  [ B5 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B4
+// CHECK:  [ B1 ]
+// CHECK:       1: [B4.6].~A() (Implicit destructor)
+// CHECK:       2: [B4.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (2): B2 B3
+// CHECK:     Successors (1): B0
+// CHECK:  [ B2 ]
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: [B2.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B4
+// CHECK:     Successors (1): B1
+// CHECK:  [ B3 ]
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: [B3.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B4
+// CHECK:     Successors (1): B1
+// CHECK:  [ B4 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:       3: a
+// CHECK:       4: [B4.3]
+// CHECK:       5: [B4.4]
+// CHECK:       6: A b = a;
+// CHECK:       7: b
+// CHECK:       8: [B4.7]
+// CHECK:       9: [B4.8].operator int
+// CHECK:      10: [B4.9]()
+// CHECK:      11: [B4.10]
+// CHECK:       T: if [B4.11]
+// CHECK:     Predecessors (1): B5
+// CHECK:     Successors (2): B3 B2
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (0):
+// CHECK:  [ B9 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B8
+// CHECK:  [ B1 ]
+// CHECK:       1: [B8.6].~A() (Implicit destructor)
+// CHECK:       2: 
+// CHECK:       3: A e;
+// CHECK:       4: [B1.3].~A() (Implicit destructor)
+// CHECK:       5: [B8.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (2): B2 B5
+// CHECK:     Successors (1): B0
+// CHECK:  [ B2 ]
+// CHECK:       1: 
+// CHECK:       2: A d;
+// CHECK:       3: [B2.2].~A() (Implicit destructor)
+// CHECK:       4: [B4.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B4
+// CHECK:     Successors (1): B1
+// CHECK:  [ B3 ]
+// CHECK:       1: return;
+// CHECK:       2: [B4.2].~A() (Implicit destructor)
+// CHECK:       3: [B8.6].~A() (Implicit destructor)
+// CHECK:       4: [B8.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B4
+// CHECK:     Successors (1): B0
+// CHECK:  [ B4 ]
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: UV
+// CHECK:       4: [B4.3]
+// CHECK:       T: if [B4.4]
+// CHECK:     Predecessors (1): B8
+// CHECK:     Successors (2): B3 B2
+// CHECK:  [ B5 ]
+// CHECK:       1: 
+// CHECK:       2: A d;
+// CHECK:       3: [B5.2].~A() (Implicit destructor)
+// CHECK:       4: [B7.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B7
+// CHECK:     Successors (1): B1
+// CHECK:  [ B6 ]
+// CHECK:       1: return;
+// CHECK:       2: [B7.2].~A() (Implicit destructor)
+// CHECK:       3: [B8.6].~A() (Implicit destructor)
+// CHECK:       4: [B8.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B7
+// CHECK:     Successors (1): B0
+// CHECK:  [ B7 ]
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: UV
+// CHECK:       4: [B7.3]
+// CHECK:       T: if [B7.4]
+// CHECK:     Predecessors (1): B8
+// CHECK:     Successors (2): B6 B5
+// CHECK:  [ B8 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:       3: a
+// CHECK:       4: [B8.3]
+// CHECK:       5: [B8.4]
+// CHECK:       6: A b = a;
+// CHECK:       7: b
+// CHECK:       8: [B8.7]
+// CHECK:       9: [B8.8].operator int
+// CHECK:      10: [B8.9]()
+// CHECK:      11: [B8.10]
+// CHECK:       T: if [B8.11]
+// CHECK:     Predecessors (1): B9
+// CHECK:     Successors (2): B7 B4
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (3): B1 B3 B6
+// CHECK:     Successors (0):
+// CHECK:  [ B6 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B5
+// CHECK:  [ B1 ]
+// CHECK:       1: [B2.4].~A() (Implicit destructor)
+// CHECK:       2: [B5.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (1): B0
+// CHECK:  [ B2 ]
+// CHECK:       1: a
+// CHECK:       2: [B2.1]
+// CHECK:       3: [B2.2]
+// CHECK:       4: A b = a;
+// CHECK:       5: b
+// CHECK:       6: [B2.5]
+// CHECK:       7: [B2.6].operator int
+// CHECK:       8: [B2.7]()
+// CHECK:       9: [B2.8]
+// CHECK:       T: while [B2.9]
+// CHECK:     Predecessors (2): B3 B5
+// CHECK:     Successors (2): B4 B1
+// CHECK:  [ B3 ]
+// CHECK:     Predecessors (1): B4
+// CHECK:     Successors (1): B2
+// CHECK:  [ B4 ]
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: [B4.2].~A() (Implicit destructor)
+// CHECK:       4: [B2.4].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (1): B3
+// CHECK:  [ B5 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:     Predecessors (1): B6
+// CHECK:     Successors (1): B2
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (0):
+// CHECK:  [ B12 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B11
+// CHECK:  [ B1 ]
+// CHECK:       1: [B2.4].~A() (Implicit destructor)
+// CHECK:       2: 
+// CHECK:       3: A e;
+// CHECK:       4: [B1.3].~A() (Implicit destructor)
+// CHECK:       5: [B11.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (2): B9 B2
+// CHECK:     Successors (1): B0
+// CHECK:  [ B2 ]
+// CHECK:       1: a
+// CHECK:       2: [B2.1]
+// CHECK:       3: [B2.2]
+// CHECK:       4: A b = a;
+// CHECK:       5: b
+// CHECK:       6: [B2.5]
+// CHECK:       7: [B2.6].operator int
+// CHECK:       8: [B2.7]()
+// CHECK:       9: [B2.8]
+// CHECK:       T: while [B2.9]
+// CHECK:     Predecessors (2): B3 B11
+// CHECK:     Successors (2): B10 B1
+// CHECK:  [ B3 ]
+// CHECK:     Predecessors (2): B4 B7
+// CHECK:     Successors (1): B2
+// CHECK:  [ B4 ]
+// CHECK:       1: 
+// CHECK:       2: A d;
+// CHECK:       3: [B4.2].~A() (Implicit destructor)
+// CHECK:       4: [B10.2].~A() (Implicit destructor)
+// CHECK:       5: [B2.4].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B6
+// CHECK:     Successors (1): B3
+// CHECK:  [ B5 ]
+// CHECK:       1: return;
+// CHECK:       2: [B10.2].~A() (Implicit destructor)
+// CHECK:       3: [B2.4].~A() (Implicit destructor)
+// CHECK:       4: [B11.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B6
+// CHECK:     Successors (1): B0
+// CHECK:  [ B6 ]
+// CHECK:       1: UV
+// CHECK:       2: [B6.1]
+// CHECK:       T: if [B6.2]
+// CHECK:     Predecessors (1): B8
+// CHECK:     Successors (2): B5 B4
+// CHECK:  [ B7 ]
+// CHECK:       1: [B10.2].~A() (Implicit destructor)
+// CHECK:       2: [B2.4].~A() (Implicit destructor)
+// CHECK:       T: continue;
+// CHECK:     Predecessors (1): B8
+// CHECK:     Successors (1): B3
+// CHECK:  [ B8 ]
+// CHECK:       1: UV
+// CHECK:       2: [B8.1]
+// CHECK:       T: if [B8.2]
+// CHECK:     Predecessors (1): B10
+// CHECK:     Successors (2): B7 B6
+// CHECK:  [ B9 ]
+// CHECK:       1: [B10.2].~A() (Implicit destructor)
+// CHECK:       T: break;
+// CHECK:     Predecessors (1): B10
+// CHECK:     Successors (1): B1
+// CHECK:  [ B10 ]
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: UV
+// CHECK:       4: [B10.3]
+// CHECK:       T: if [B10.4]
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (2): B9 B8
+// CHECK:  [ B11 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:     Predecessors (1): B12
+// CHECK:     Successors (1): B2
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (2): B1 B5
+// CHECK:     Successors (0):
+// CHECK:  [ B4 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B2
+// CHECK:  [ B1 ]
+// CHECK:       1: UV
+// CHECK:       2: [B1.1]
+// CHECK:       T: do ... while [B1.2]
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (2): B3 B0
+// CHECK:  [ B2 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:       3: [B2.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (2): B3 B4
+// CHECK:     Successors (1): B1
+// CHECK:  [ B3 ]
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (1): B2
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (0):
+// CHECK:  [ B12 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B11
+// CHECK:  [ B1 ]
+// CHECK:       1: 
+// CHECK:       2: A d;
+// CHECK:       3: [B1.2].~A() (Implicit destructor)
+// CHECK:       4: [B11.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (2): B8 B2
+// CHECK:     Successors (1): B0
+// CHECK:  [ B2 ]
+// CHECK:       1: UV
+// CHECK:       2: [B2.1]
+// CHECK:       T: do ... while [B2.2]
+// CHECK:     Predecessors (2): B3 B6
+// CHECK:     Successors (2): B10 B1
+// CHECK:  [ B3 ]
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: [B3.2].~A() (Implicit destructor)
+// CHECK:       4: [B9.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B5
+// CHECK:     Successors (1): B2
+// CHECK:  [ B4 ]
+// CHECK:       1: return;
+// CHECK:       2: [B9.2].~A() (Implicit destructor)
+// CHECK:       3: [B11.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B5
+// CHECK:     Successors (1): B0
+// CHECK:  [ B5 ]
+// CHECK:       1: UV
+// CHECK:       2: [B5.1]
+// CHECK:       T: if [B5.2]
+// CHECK:     Predecessors (1): B7
+// CHECK:     Successors (2): B4 B3
+// CHECK:  [ B6 ]
+// CHECK:       1: [B9.2].~A() (Implicit destructor)
+// CHECK:       T: continue;
+// CHECK:     Predecessors (1): B7
+// CHECK:     Successors (1): B2
+// CHECK:  [ B7 ]
+// CHECK:       1: UV
+// CHECK:       2: [B7.1]
+// CHECK:       T: if [B7.2]
+// CHECK:     Predecessors (1): B9
+// CHECK:     Successors (2): B6 B5
+// CHECK:  [ B8 ]
+// CHECK:       1: [B9.2].~A() (Implicit destructor)
+// CHECK:       T: break;
+// CHECK:     Predecessors (1): B9
+// CHECK:     Successors (1): B1
+// CHECK:  [ B9 ]
+// CHECK:       1: 
+// CHECK:       2: A b;
+// CHECK:       3: UV
+// CHECK:       4: [B9.3]
+// CHECK:       T: if [B9.4]
+// CHECK:     Predecessors (2): B10 B11
+// CHECK:     Successors (2): B8 B7
+// CHECK:  [ B10 ]
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (1): B9
+// CHECK:  [ B11 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:     Predecessors (1): B12
+// CHECK:     Successors (1): B9
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (2): B1 B4
+// CHECK:     Successors (0):
+// CHECK:  [ B4 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B2
+// CHECK:  [ B1 ]
+// CHECK:       1: [B2.6].~A() (Implicit destructor)
+// CHECK:       2: [B2.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (2): B3 B2
+// CHECK:     Successors (1): B0
+// CHECK:  [ B2 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:       3: a
+// CHECK:       4: [B2.3]
+// CHECK:       5: [B2.4]
+// CHECK:       6: A b = a;
+// CHECK:       7: b
+// CHECK:       8: [B2.7]
+// CHECK:       9: [B2.8].operator int
+// CHECK:      10: [B2.9]()
+// CHECK:       T: switch [B2.10]
+// CHECK:     Predecessors (1): B4
+// CHECK:     Successors (1): B1
+// CHECK:  [ B3 ]
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: [B3.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B1
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (0):
+// CHECK:  [ B9 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B2
+// CHECK:  [ B1 ]
+// CHECK:       1: [B2.6].~A() (Implicit destructor)
+// CHECK:       2: 
+// CHECK:       3: A g;
+// CHECK:       4: [B1.3].~A() (Implicit destructor)
+// CHECK:       5: [B2.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (3): B3 B7 B2
+// CHECK:     Successors (1): B0
+// CHECK:  [ B2 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:       3: a
+// CHECK:       4: [B2.3]
+// CHECK:       5: [B2.4]
+// CHECK:       6: A b = a;
+// CHECK:       7: b
+// CHECK:       8: [B2.7]
+// CHECK:       9: [B2.8].operator int
+// CHECK:      10: [B2.9]()
+// CHECK:       T: switch [B2.10]
+// CHECK:     Predecessors (1): B9
+// CHECK:     Successors (3): B3 B8
+// CHECK:      B1
+// CHECK:  [ B3 ]
+// CHECK:     case 1:
+// CHECK:       T: break;
+// CHECK:     Predecessors (2): B2 B4
+// CHECK:     Successors (1): B1
+// CHECK:  [ B4 ]
+// CHECK:       1: 
+// CHECK:       2: A f;
+// CHECK:       3: [B4.2].~A() (Implicit destructor)
+// CHECK:       4: [B8.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B6
+// CHECK:     Successors (1): B3
+// CHECK:  [ B5 ]
+// CHECK:       1: return;
+// CHECK:       2: [B8.2].~A() (Implicit destructor)
+// CHECK:       3: [B2.6].~A() (Implicit destructor)
+// CHECK:       4: [B2.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B6
+// CHECK:     Successors (1): B0
+// CHECK:  [ B6 ]
+// CHECK:       1: UV
+// CHECK:       2: [B6.1]
+// CHECK:       T: if [B6.2]
+// CHECK:     Predecessors (1): B8
+// CHECK:     Successors (2): B5 B4
+// CHECK:  [ B7 ]
+// CHECK:       1: [B8.2].~A() (Implicit destructor)
+// CHECK:       T: break;
+// CHECK:     Predecessors (1): B8
+// CHECK:     Successors (1): B1
+// CHECK:  [ B8 ]
+// CHECK:     case 0:
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: UV
+// CHECK:       4: [B8.3]
+// CHECK:       T: if [B8.4]
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (2): B7 B6
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (2): B1 B5
+// CHECK:     Successors (0):
+// CHECK:  [ B6 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B5
+// CHECK:  [ B1 ]
+// CHECK:       1: [B2.4].~A() (Implicit destructor)
+// CHECK:       2: [B5.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (1): B0
+// CHECK:  [ B2 ]
+// CHECK:       1: a
+// CHECK:       2: [B2.1]
+// CHECK:       3: [B2.2]
+// CHECK:       4: A b = a;
+// CHECK:       5: b
+// CHECK:       6: [B2.5]
+// CHECK:       7: [B2.6].operator int
+// CHECK:       8: [B2.7]()
+// CHECK:       9: [B2.8]
+// CHECK:       T: for (...; [B2.9]; )
+// CHECK:     Predecessors (2): B3 B5
+// CHECK:     Successors (2): B4 B1
+// CHECK:  [ B3 ]
+// CHECK:       1: [B2.4].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B4
+// CHECK:     Successors (1): B2
+// CHECK:  [ B4 ]
+// CHECK:       1: 
+// CHECK:       2: A c;
+// CHECK:       3: [B4.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (1): B3
+// CHECK:  [ B5 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:     Predecessors (1): B6
+// CHECK:     Successors (1): B2
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (0):
+// CHECK:  [ B12 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B11
+// CHECK:  [ B1 ]
+// CHECK:       1: [B2.4].~A() (Implicit destructor)
+// CHECK:       2: [B11.4].~A() (Implicit destructor)
+// CHECK:       3: 
+// CHECK:       4: A f;
+// CHECK:       5: [B1.4].~A() (Implicit destructor)
+// CHECK:       6: [B11.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (2): B9 B2
+// CHECK:     Successors (1): B0
+// CHECK:  [ B2 ]
+// CHECK:       1: b
+// CHECK:       2: [B2.1]
+// CHECK:       3: [B2.2]
+// CHECK:       4: A c = b;
+// CHECK:       5: c
+// CHECK:       6: [B2.5]
+// CHECK:       7: [B2.6].operator int
+// CHECK:       8: [B2.7]()
+// CHECK:       9: [B2.8]
+// CHECK:       T: for (...; [B2.9]; )
+// CHECK:     Predecessors (2): B3 B11
+// CHECK:     Successors (2): B10 B1
+// CHECK:  [ B3 ]
+// CHECK:       1: [B2.4].~A() (Implicit destructor)
+// CHECK:     Predecessors (2): B4 B7
+// CHECK:     Successors (1): B2
+// CHECK:  [ B4 ]
+// CHECK:       1: 
+// CHECK:       2: A e;
+// CHECK:       3: [B4.2].~A() (Implicit destructor)
+// CHECK:       4: [B10.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B6
+// CHECK:     Successors (1): B3
+// CHECK:  [ B5 ]
+// CHECK:       1: return;
+// CHECK:       2: [B10.2].~A() (Implicit destructor)
+// CHECK:       3: [B2.4].~A() (Implicit destructor)
+// CHECK:       4: [B11.4].~A() (Implicit destructor)
+// CHECK:       5: [B11.2].~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B6
+// CHECK:     Successors (1): B0
+// CHECK:  [ B6 ]
+// CHECK:       1: UV
+// CHECK:       2: [B6.1]
+// CHECK:       T: if [B6.2]
+// CHECK:     Predecessors (1): B8
+// CHECK:     Successors (2): B5 B4
+// CHECK:  [ B7 ]
+// CHECK:       1: [B10.2].~A() (Implicit destructor)
+// CHECK:       T: continue;
+// CHECK:     Predecessors (1): B8
+// CHECK:     Successors (1): B3
+// CHECK:  [ B8 ]
+// CHECK:       1: UV
+// CHECK:       2: [B8.1]
+// CHECK:       T: if [B8.2]
+// CHECK:     Predecessors (1): B10
+// CHECK:     Successors (2): B7 B6
+// CHECK:  [ B9 ]
+// CHECK:       1: [B10.2].~A() (Implicit destructor)
+// CHECK:       T: break;
+// CHECK:     Predecessors (1): B10
+// CHECK:     Successors (1): B1
+// CHECK:  [ B10 ]
+// CHECK:       1: 
+// CHECK:       2: A d;
+// CHECK:       3: UV
+// CHECK:       4: [B10.3]
+// CHECK:       T: if [B10.4]
+// CHECK:     Predecessors (1): B2
+// CHECK:     Successors (2): B9 B8
+// CHECK:  [ B11 ]
+// CHECK:       1: 
+// CHECK:       2: A a;
+// CHECK:       3: 
+// CHECK:       4: A b;
+// CHECK:     Predecessors (1): B12
+// CHECK:     Successors (1): B2
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (2): B1 B5
+// CHECK:     Successors (0):
+// CHECK:  [ B3 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B0
+// CHECK:  [ B1 ]
+// CHECK:       T: try ...
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (2): B2 B0
+// CHECK:  [ B2 ]
+// CHECK:     catch (const A &e):
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (1): B0
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (3): B2 B1 B3
+// CHECK:     Successors (0):
+// CHECK:  [ B3 (ENTRY) ]
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (1): B0
+// CHECK:  [ B1 ]
+// CHECK:       T: try ...
+// CHECK:     Predecessors (0):
+// CHECK:     Successors (2): B2 B0
+// CHECK:  [ B2 ]
+// CHECK:     catch (A e):
+// CHECK:       1: .~A() (Implicit destructor)
+// CHECK:     Predecessors (1): B1
+// CHECK:     Successors (1): B0
+// CHECK:  [ B0 (EXIT) ]
+// CHECK:     Predecessors (3): B2 B1 B3
+// CHECK:     Successors (0):