clang/test/Analysis/scopes-cfg-output.cpp

   1 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -analyze -analyzer-checker=debug.DumpCFG -analyzer-config cfg-scopes=true %s > %t 2>&1
   2 // RUN: FileCheck --input-file=%t %s
   3
   4 class A {
   5 public:
   6 // CHECK:      [B1 (ENTRY)]
   7 // CHECK-NEXT:   Succs (1): B0
   8 // CHECK:      [B0 (EXIT)]
   9 // CHECK-NEXT:   Preds (1): B1
  10   A() {}
  11
  12 // CHECK:      [B1 (ENTRY)]
  13 // CHECK-NEXT:   Succs (1): B0
  14 // CHECK:      [B0 (EXIT)]
  15 // CHECK-NEXT:   Preds (1): B1
  16   ~A() {}
  17
  18 // CHECK:      [B2 (ENTRY)]
  19 // CHECK-NEXT:   Succs (1): B1
  20 // CHECK:      [B1]
  21 // CHECK-NEXT:   1: 1
  22 // CHECK-NEXT:   2: return [B1.1];
  23 // CHECK-NEXT:   Preds (1): B2
  24 // CHECK-NEXT:   Succs (1): B0
  25 // CHECK:      [B0 (EXIT)]
  26 // CHECK-NEXT:   Preds (1): B1
  27   operator int() const { return 1; }
  28   int *p;
  29 };
  30
  31 int getX();
  32 extern const bool UV;
  33
  34 // CHECK:      [B2 (ENTRY)]
  35 // CHECK-NEXT:   Succs (1): B1
  36 // CHECK:      [B1]
  37 // CHECK-NEXT:   1: CFGScopeBegin(a)
  38 // CHECK-NEXT:   2:  (CXXConstructExpr, [B1.3], A[2])
  39 // CHECK-NEXT:   3: A a[2];
  40 // CHECK-NEXT:   4:  (CXXConstructExpr, [B1.5], A[0])
  41 // CHECK-NEXT:   5: A b[0];
  42 // CHECK-NEXT:   6: [B1.3].~A[2]() (Implicit destructor)
  43 // CHECK-NEXT:   7: CFGScopeEnd(a)
  44 // CHECK-NEXT:   Preds (1): B2
  45 // CHECK-NEXT:   Succs (1): B0
  46 // CHECK:      [B0 (EXIT)]
  47 // CHECK-NEXT:   Preds (1): B1
  48 void test_array() {
  49   A a[2];
  50   A b[0];
  51 }
  52
  53 // CHECK:      [B2 (ENTRY)]
  54 // CHECK-NEXT:   Succs (1): B1
  55 // CHECK:      [B1]
  56 // CHECK-NEXT:   1: CFGScopeBegin(a)
  57 // CHECK-NEXT:   2:  (CXXConstructExpr, [B1.3], A)
  58 // CHECK-NEXT:   3: A a;
  59 // CHECK-NEXT:   4: CFGScopeBegin(c)
  60 // CHECK-NEXT:   5:  (CXXConstructExpr, [B1.6], A)
  61 // CHECK-NEXT:   6: A c;
  62 // CHECK-NEXT:   7:  (CXXConstructExpr, [B1.8], A)
  63 // CHECK-NEXT:   8: A d;
  64 // CHECK-NEXT:   9: [B1.8].~A() (Implicit destructor)
  65 // CHECK-NEXT:  10: [B1.6].~A() (Implicit destructor)
  66 // CHECK-NEXT:  11: CFGScopeEnd(c)
  67 // CHECK-NEXT:  12:  (CXXConstructExpr, [B1.13], A)
  68 // CHECK-NEXT:  13: A b;
  69 // CHECK-NEXT:  14: [B1.13].~A() (Implicit destructor)
  70 // CHECK-NEXT:  15: [B1.3].~A() (Implicit destructor)
  71 // CHECK-NEXT:  16: CFGScopeEnd(a)
  72 // CHECK-NEXT:   Preds (1): B2
  73 // CHECK-NEXT:   Succs (1): B0
  74 // CHECK:      [B0 (EXIT)]
  75 // CHECK-NEXT:   Preds (1): B1
  76 void test_scope() {
  77   A a;
  78   { A c;
  79     A d;
  80   }
  81   A b;
  82 }
  83
  84 // CHECK:      [B4 (ENTRY)]
  85 // CHECK-NEXT:   Succs (1): B3
  86 // CHECK:      [B1]
  87 // CHECK-NEXT:   1:  (CXXConstructExpr, [B1.2], A)
  88 // CHECK-NEXT:   2: A c;
  89 // CHECK-NEXT:   3: [B1.2].~A() (Implicit destructor)
  90 // CHECK-NEXT:   4: [B3.5].~A() (Implicit destructor)
  91 // CHECK-NEXT:   5: [B3.3].~A() (Implicit destructor)
  92 // CHECK-NEXT:   6: CFGScopeEnd(a)
  93 // CHECK-NEXT:   Preds (1): B3
  94 // CHECK-NEXT:   Succs (1): B0
  95 // CHECK:      [B2]
  96 // CHECK-NEXT:   1: return;
  97 // CHECK-NEXT:   2: [B3.5].~A() (Implicit destructor)
  98 // CHECK-NEXT:   3: [B3.3].~A() (Implicit destructor)
  99 // CHECK-NEXT:   4: CFGScopeEnd(a)
 100 // CHECK-NEXT:   Preds (1): B3
 101 // CHECK-NEXT:   Succs (1): B0
 102 // CHECK:      [B3]
 103 // CHECK-NEXT:   1: CFGScopeBegin(a)
 104 // CHECK-NEXT:   2:  (CXXConstructExpr, [B3.3], A)
 105 // CHECK-NEXT:   3: A a;
 106 // CHECK-NEXT:   4:  (CXXConstructExpr, [B3.5], A)
 107 // CHECK-NEXT:   5: A b;
 108 // CHECK-NEXT:   6: UV
 109 // CHECK-NEXT:   7: [B3.6] (ImplicitCastExpr, LValueToRValue, _Bool)
 110 // CHECK-NEXT:   T: if [B3.7]
 111 // CHECK-NEXT:   Preds (1): B4
 112 // CHECK-NEXT:   Succs (2): B2 B1
 113 // CHECK:      [B0 (EXIT)]
 114 // CHECK-NEXT:   Preds (2): B1 B2
 115 void test_return() {
 116   A a;
 117   A b;
 118   if (UV) return;
 119   A c;
 120 }
 121
 122 // CHECK:      [B5 (ENTRY)]
 123 // CHECK-NEXT:   Succs (1): B4
 124 // CHECK:      [B1]
 125 // CHECK-NEXT:   1: [B4.8].~A() (Implicit destructor)
 126 // CHECK-NEXT:   2: CFGScopeEnd(b)
 127 // CHECK-NEXT:   3: [B4.3].~A() (Implicit destructor)
 128 // CHECK-NEXT:   4: CFGScopeEnd(a)
 129 // CHECK-NEXT:   Preds (2): B2 B3
 130 // CHECK-NEXT:   Succs (1): B0
 131 // CHECK:      [B2]
 132 // CHECK-NEXT:   1: CFGScopeBegin(c)
 133 // CHECK-NEXT:   2:  (CXXConstructExpr, [B2.3], A)
 134 // CHECK-NEXT:   3: A c;
 135 // CHECK-NEXT:   4: [B2.3].~A() (Implicit destructor)
 136 // CHECK-NEXT:   5: CFGScopeEnd(c)
 137 // CHECK-NEXT:   Preds (1): B4
 138 // CHECK-NEXT:   Succs (1): B1
 139 // CHECK:      [B3]
 140 // CHECK-NEXT:   1: CFGScopeBegin(c)
 141 // CHECK-NEXT:   2:  (CXXConstructExpr, [B3.3], A)
 142 // CHECK-NEXT:   3: A c;
 143 // CHECK-NEXT:   4: [B3.3].~A() (Implicit destructor)
 144 // CHECK-NEXT:   5: CFGScopeEnd(c)
 145 // CHECK-NEXT:   Preds (1): B4
 146 // CHECK-NEXT:   Succs (1): B1
 147 // CHECK:      [B4]
 148 // CHECK-NEXT:   1: CFGScopeBegin(a)
 149 // CHECK-NEXT:   2:  (CXXConstructExpr, [B4.3], A)
 150 // CHECK-NEXT:   3: A a;
 151 // CHECK-NEXT:   4: CFGScopeBegin(b)
 152 // CHECK-NEXT:   5: a
 153 // CHECK-NEXT:   6: [B4.5] (ImplicitCastExpr, NoOp, const A)
 154 // CHECK-NEXT:   7: [B4.6] (CXXConstructExpr, [B4.8], A)
 155 // CHECK-NEXT:   8: A b = a;
 156 // CHECK-NEXT:   9: b
 157 // CHECK-NEXT:  10: [B4.9] (ImplicitCastExpr, NoOp, const class A)
 158 // CHECK-NEXT:  11: [B4.10].operator int
 159 // CHECK-NEXT:  12: [B4.10]
 160 // CHECK-NEXT:  13: [B4.12] (ImplicitCastExpr, UserDefinedConversion, int)
 161 // CHECK-NEXT:  14: [B4.13] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 162 // CHECK-NEXT:   T: if [B4.14]
 163 // CHECK-NEXT:   Preds (1): B5
 164 // CHECK-NEXT:   Succs (2): B3 B2
 165 // CHECK:      [B0 (EXIT)]
 166 // CHECK-NEXT:   Preds (1): B1
 167 void test_if_implicit_scope() {
 168   A a;
 169   if (A b = a)
 170     A c;
 171   else A c;
 172 }
 173
 174 // CHECK:      [B9 (ENTRY)]
 175 // CHECK-NEXT:   Succs (1): B8
 176 // CHECK:      [B1]
 177 // CHECK-NEXT:   1: [B8.8].~A() (Implicit destructor)
 178 // CHECK-NEXT:   2: CFGScopeEnd(b)
 179 // CHECK-NEXT:   3:  (CXXConstructExpr, [B1.4], A)
 180 // CHECK-NEXT:   4: A e;
 181 // CHECK-NEXT:   5: [B1.4].~A() (Implicit destructor)
 182 // CHECK-NEXT:   6: [B8.3].~A() (Implicit destructor)
 183 // CHECK-NEXT:   7: CFGScopeEnd(a)
 184 // CHECK-NEXT:   Preds (2): B2 B5
 185 // CHECK-NEXT:   Succs (1): B0
 186 // CHECK:      [B2]
 187 // CHECK-NEXT:   1:  (CXXConstructExpr, [B2.2], A)
 188 // CHECK-NEXT:   2: A d;
 189 // CHECK-NEXT:   3: [B2.2].~A() (Implicit destructor)
 190 // CHECK-NEXT:   4: [B4.3].~A() (Implicit destructor)
 191 // CHECK-NEXT:   5: CFGScopeEnd(c)
 192 // CHECK-NEXT:   Preds (1): B4
 193 // CHECK-NEXT:   Succs (1): B1
 194 // CHECK:      [B3]
 195 // CHECK-NEXT:   1: return;
 196 // CHECK-NEXT:   2: [B4.3].~A() (Implicit destructor)
 197 // CHECK-NEXT:   3: CFGScopeEnd(c)
 198 // CHECK-NEXT:   4: [B8.8].~A() (Implicit destructor)
 199 // CHECK-NEXT:   5: CFGScopeEnd(b)
 200 // CHECK-NEXT:   6: [B8.3].~A() (Implicit destructor)
 201 // CHECK-NEXT:   7: CFGScopeEnd(a)
 202 // CHECK-NEXT:   Preds (1): B4
 203 // CHECK-NEXT:   Succs (1): B0
 204 // CHECK:      [B4]
 205 // CHECK-NEXT:   1: CFGScopeBegin(c)
 206 // CHECK-NEXT:   2:  (CXXConstructExpr, [B4.3], A)
 207 // CHECK-NEXT:   3: A c;
 208 // CHECK-NEXT:   4: UV
 209 // CHECK-NEXT:   5: [B4.4] (ImplicitCastExpr, LValueToRValue, _Bool)
 210 // CHECK-NEXT:   T: if [B4.5]
 211 // CHECK-NEXT:   Preds (1): B8
 212 // CHECK-NEXT:   Succs (2): B3 B2
 213 // CHECK:      [B5]
 214 // CHECK-NEXT:   1:  (CXXConstructExpr, [B5.2], A)
 215 // CHECK-NEXT:   2: A d;
 216 // CHECK-NEXT:   3: [B5.2].~A() (Implicit destructor)
 217 // CHECK-NEXT:   4: [B7.3].~A() (Implicit destructor)
 218 // CHECK-NEXT:   5: CFGScopeEnd(c)
 219 // CHECK-NEXT:   Preds (1): B7
 220 // CHECK-NEXT:   Succs (1): B1
 221 // CHECK:      [B6]
 222 // CHECK-NEXT:   1: return;
 223 // CHECK-NEXT:   2: [B7.3].~A() (Implicit destructor)
 224 // CHECK-NEXT:   3: CFGScopeEnd(c)
 225 // CHECK-NEXT:   4: [B8.8].~A() (Implicit destructor)
 226 // CHECK-NEXT:   5: CFGScopeEnd(b)
 227 // CHECK-NEXT:   6: [B8.3].~A() (Implicit destructor)
 228 // CHECK-NEXT:   7: CFGScopeEnd(a)
 229 // CHECK-NEXT:   Preds (1): B7
 230 // CHECK-NEXT:   Succs (1): B0
 231 // CHECK:      [B7]
 232 // CHECK-NEXT:   1: CFGScopeBegin(c)
 233 // CHECK-NEXT:   2:  (CXXConstructExpr, [B7.3], A)
 234 // CHECK-NEXT:   3: A c;
 235 // CHECK-NEXT:   4: UV
 236 // CHECK-NEXT:   5: [B7.4] (ImplicitCastExpr, LValueToRValue, _Bool)
 237 // CHECK-NEXT:   T: if [B7.5]
 238 // CHECK-NEXT:   Preds (1): B8
 239 // CHECK-NEXT:   Succs (2): B6 B5
 240 // CHECK:      [B8]
 241 // CHECK-NEXT:   1: CFGScopeBegin(a)
 242 // CHECK-NEXT:   2:  (CXXConstructExpr, [B8.3], A)
 243 // CHECK-NEXT:   3: A a;
 244 // CHECK-NEXT:   4: CFGScopeBegin(b)
 245 // CHECK-NEXT:   5: a
 246 // CHECK-NEXT:   6: [B8.5] (ImplicitCastExpr, NoOp, const A)
 247 // CHECK-NEXT:   7: [B8.6] (CXXConstructExpr, [B8.8], A)
 248 // CHECK-NEXT:   8: A b = a;
 249 // CHECK-NEXT:   9: b
 250 // CHECK-NEXT:  10: [B8.9] (ImplicitCastExpr, NoOp, const class A)
 251 // CHECK-NEXT:  11: [B8.10].operator int
 252 // CHECK-NEXT:  12: [B8.10]
 253 // CHECK-NEXT:  13: [B8.12] (ImplicitCastExpr, UserDefinedConversion, int)
 254 // CHECK-NEXT:  14: [B8.13] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 255 // CHECK-NEXT:   T: if [B8.14]
 256 // CHECK-NEXT:   Preds (1): B9
 257 // CHECK-NEXT:   Succs (2): B7 B4
 258 // CHECK:      [B0 (EXIT)]
 259 // CHECK-NEXT:   Preds (3): B1 B3 B6
 260 void test_if_jumps() {
 261   A a;
 262   if (A b = a) {
 263     A c;
 264     if (UV) return;
 265     A d;
 266   } else {
 267     A c;
 268     if (UV) return;
 269     A d;
 270   }
 271   A e;
 272 }
 273
 274 // CHECK:      [B6 (ENTRY)]
 275 // CHECK-NEXT:   Succs (1): B5
 276 // CHECK:      [B1]
 277 // CHECK-NEXT:   1: [B4.5].~A() (Implicit destructor)
 278 // CHECK-NEXT:   2: CFGScopeEnd(b)
 279 // CHECK-NEXT:   3: [B5.3].~A() (Implicit destructor)
 280 // CHECK-NEXT:   4: CFGScopeEnd(a)
 281 // CHECK-NEXT:   Preds (1): B4
 282 // CHECK-NEXT:   Succs (1): B0
 283 // CHECK:      [B2]
 284 // CHECK-NEXT:   Preds (1): B3
 285 // CHECK-NEXT:   Succs (1): B4
 286 // CHECK:      [B3]
 287 // CHECK-NEXT:   1: CFGScopeBegin(c)
 288 // CHECK-NEXT:   2:  (CXXConstructExpr, [B3.3], A)
 289 // CHECK-NEXT:   3: A c;
 290 // CHECK-NEXT:   4: [B3.3].~A() (Implicit destructor)
 291 // CHECK-NEXT:   5: CFGScopeEnd(c)
 292 // CHECK-NEXT:   6: [B4.5].~A() (Implicit destructor)
 293 // CHECK-NEXT:   7: CFGScopeEnd(b)
 294 // CHECK-NEXT:   Preds (1): B4
 295 // CHECK-NEXT:   Succs (1): B2
 296 // CHECK:      [B4]
 297 // CHECK-NEXT:   1: CFGScopeBegin(b)
 298 // CHECK-NEXT:   2: a
 299 // CHECK-NEXT:   3: [B4.2] (ImplicitCastExpr, NoOp, const A)
 300 // CHECK-NEXT:   4: [B4.3] (CXXConstructExpr, [B4.5], A)
 301 // CHECK-NEXT:   5: A b = a;
 302 // CHECK-NEXT:   6: b
 303 // CHECK-NEXT:   7: [B4.6] (ImplicitCastExpr, NoOp, const class A)
 304 // CHECK-NEXT:   8: [B4.7].operator int
 305 // CHECK-NEXT:   9: [B4.7]
 306 // CHECK-NEXT:  10: [B4.9] (ImplicitCastExpr, UserDefinedConversion, int)
 307 // CHECK-NEXT:  11: [B4.10] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 308 // CHECK-NEXT:   T: while [B4.11]
 309 // CHECK-NEXT:   Preds (2): B2 B5
 310 // CHECK-NEXT:   Succs (2): B3 B1
 311 // CHECK:      [B5]
 312 // CHECK-NEXT:   1: CFGScopeBegin(a)
 313 // CHECK-NEXT:   2:  (CXXConstructExpr, [B5.3], A)
 314 // CHECK-NEXT:   3: A a;
 315 // CHECK-NEXT:   Preds (1): B6
 316 // CHECK-NEXT:   Succs (1): B4
 317 // CHECK:      [B0 (EXIT)]
 318 // CHECK-NEXT:   Preds (1): B1
 319 void test_while_implicit_scope() {
 320   A a;
 321   while (A b = a)
 322     A c;
 323 }
 324
 325 // CHECK:      [B12 (ENTRY)]
 326 // CHECK-NEXT:   Succs (1): B11
 327 // CHECK:      [B1]
 328 // CHECK-NEXT:   1: [B10.5].~A() (Implicit destructor)
 329 // CHECK-NEXT:   2: CFGScopeEnd(b)
 330 // CHECK-NEXT:   3:  (CXXConstructExpr, [B1.4], A)
 331 // CHECK-NEXT:   4: A e;
 332 // CHECK-NEXT:   5: [B1.4].~A() (Implicit destructor)
 333 // CHECK-NEXT:   6: [B11.3].~A() (Implicit destructor)
 334 // CHECK-NEXT:   7: CFGScopeEnd(a)
 335 // CHECK-NEXT:   Preds (2): B8 B10
 336 // CHECK-NEXT:   Succs (1): B0
 337 // CHECK:      [B2]
 338 // CHECK-NEXT:   Preds (2): B3 B6
 339 // CHECK-NEXT:   Succs (1): B10
 340 // CHECK:      [B3]
 341 // CHECK-NEXT:   1:  (CXXConstructExpr, [B3.2], A)
 342 // CHECK-NEXT:   2: A d;
 343 // CHECK-NEXT:   3: [B3.2].~A() (Implicit destructor)
 344 // CHECK-NEXT:   4: [B9.3].~A() (Implicit destructor)
 345 // CHECK-NEXT:   5: CFGScopeEnd(c)
 346 // CHECK-NEXT:   6: [B10.5].~A() (Implicit destructor)
 347 // CHECK-NEXT:   7: CFGScopeEnd(b)
 348 // CHECK-NEXT:   Preds (1): B5
 349 // CHECK-NEXT:   Succs (1): B2
 350 // CHECK:      [B4]
 351 // CHECK-NEXT:   1: return;
 352 // CHECK-NEXT:   2: [B9.3].~A() (Implicit destructor)
 353 // CHECK-NEXT:   3: CFGScopeEnd(c)
 354 // CHECK-NEXT:   4: [B10.5].~A() (Implicit destructor)
 355 // CHECK-NEXT:   5: CFGScopeEnd(b)
 356 // CHECK-NEXT:   6: [B11.3].~A() (Implicit destructor)
 357 // CHECK-NEXT:   7: CFGScopeEnd(a)
 358 // CHECK-NEXT:   Preds (1): B5
 359 // CHECK-NEXT:   Succs (1): B0
 360 // CHECK:      [B5]
 361 // CHECK-NEXT:   1: UV
 362 // CHECK-NEXT:   2: [B5.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 363 // CHECK-NEXT:   T: if [B5.2]
 364 // CHECK-NEXT:   Preds (1): B7
 365 // CHECK-NEXT:   Succs (2): B4 B3
 366 // CHECK:      [B6]
 367 // CHECK-NEXT:   1: [B9.3].~A() (Implicit destructor)
 368 // CHECK-NEXT:   2: CFGScopeEnd(c)
 369 // CHECK-NEXT:   3: [B10.5].~A() (Implicit destructor)
 370 // CHECK-NEXT:   4: CFGScopeEnd(b)
 371 // CHECK-NEXT:   T: continue;
 372 // CHECK-NEXT:   Preds (1): B7
 373 // CHECK-NEXT:   Succs (1): B2
 374 // CHECK:      [B7]
 375 // CHECK-NEXT:   1: UV
 376 // CHECK-NEXT:   2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 377 // CHECK-NEXT:   T: if [B7.2]
 378 // CHECK-NEXT:   Preds (1): B9
 379 // CHECK-NEXT:   Succs (2): B6 B5
 380 // CHECK:      [B8]
 381 // CHECK-NEXT:   1: [B9.3].~A() (Implicit destructor)
 382 // CHECK-NEXT:   2: CFGScopeEnd(c)
 383 // CHECK-NEXT:   T: break;
 384 // CHECK-NEXT:   Preds (1): B9
 385 // CHECK-NEXT:   Succs (1): B1
 386 // CHECK:      [B9]
 387 // CHECK-NEXT:   1: CFGScopeBegin(c)
 388 // CHECK-NEXT:   2:  (CXXConstructExpr, [B9.3], A)
 389 // CHECK-NEXT:   3: A c;
 390 // CHECK-NEXT:   4: UV
 391 // CHECK-NEXT:   5: [B9.4] (ImplicitCastExpr, LValueToRValue, _Bool)
 392 // CHECK-NEXT:   T: if [B9.5]
 393 // CHECK-NEXT:   Preds (1): B10
 394 // CHECK-NEXT:   Succs (2): B8 B7
 395 // CHECK:      [B10]
 396 // CHECK-NEXT:   1: CFGScopeBegin(b)
 397 // CHECK-NEXT:   2: a
 398 // CHECK-NEXT:   3: [B10.2] (ImplicitCastExpr, NoOp, const A)
 399 // CHECK-NEXT:   4: [B10.3] (CXXConstructExpr, [B10.5], A)
 400 // CHECK-NEXT:   5: A b = a;
 401 // CHECK-NEXT:   6: b
 402 // CHECK-NEXT:   7: [B10.6] (ImplicitCastExpr, NoOp, const class A)
 403 // CHECK-NEXT:   8: [B10.7].operator int
 404 // CHECK-NEXT:   9: [B10.7]
 405 // CHECK-NEXT:  10: [B10.9] (ImplicitCastExpr, UserDefinedConversion, int)
 406 // CHECK-NEXT:  11: [B10.10] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 407 // CHECK-NEXT:   T: while [B10.11]
 408 // CHECK-NEXT:   Preds (2): B2 B11
 409 // CHECK-NEXT:   Succs (2): B9 B1
 410 // CHECK:      [B11]
 411 // CHECK-NEXT:   1: CFGScopeBegin(a)
 412 // CHECK-NEXT:   2:  (CXXConstructExpr, [B11.3], A)
 413 // CHECK-NEXT:   3: A a;
 414 // CHECK-NEXT:   Preds (1): B12
 415 // CHECK-NEXT:   Succs (1): B10
 416 // CHECK:      [B0 (EXIT)]
 417 // CHECK-NEXT:   Preds (2): B1 B4
 418 void test_while_jumps() {
 419   A a;
 420   while (A b = a) {
 421     A c;
 422     if (UV) break;
 423     if (UV) continue;
 424     if (UV) return;
 425     A d;
 426   }
 427   A e;
 428 }
 429
 430 // CHECK:      [B12 (ENTRY)]
 431 // CHECK-NEXT:   Succs (1): B11
 432 // CHECK:      [B1]
 433 // CHECK-NEXT:   1:  (CXXConstructExpr, [B1.2], A)
 434 // CHECK-NEXT:   2: A d;
 435 // CHECK-NEXT:   3: [B1.2].~A() (Implicit destructor)
 436 // CHECK-NEXT:   4: [B11.3].~A() (Implicit destructor)
 437 // CHECK-NEXT:   5: CFGScopeEnd(a)
 438 // CHECK-NEXT:   Preds (2): B8 B2
 439 // CHECK-NEXT:   Succs (1): B0
 440 // CHECK:      [B2]
 441 // CHECK-NEXT:   1: UV
 442 // CHECK-NEXT:   2: [B2.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 443 // CHECK-NEXT:   T: do ... while [B2.2]
 444 // CHECK-NEXT:   Preds (2): B3 B6
 445 // CHECK-NEXT:   Succs (2): B10 B1
 446 // CHECK:      [B3]
 447 // CHECK-NEXT:   1:  (CXXConstructExpr, [B3.2], A)
 448 // CHECK-NEXT:   2: A c;
 449 // CHECK-NEXT:   3: [B3.2].~A() (Implicit destructor)
 450 // CHECK-NEXT:   4: [B9.3].~A() (Implicit destructor)
 451 // CHECK-NEXT:   5: CFGScopeEnd(b)
 452 // CHECK-NEXT:   Preds (1): B5
 453 // CHECK-NEXT:   Succs (1): B2
 454 // CHECK:      [B4]
 455 // CHECK-NEXT:   1: return;
 456 // CHECK-NEXT:   2: [B9.3].~A() (Implicit destructor)
 457 // CHECK-NEXT:   3: CFGScopeEnd(b)
 458 // CHECK-NEXT:   4: [B11.3].~A() (Implicit destructor)
 459 // CHECK-NEXT:   5: CFGScopeEnd(a)
 460 // CHECK-NEXT:   Preds (1): B5
 461 // CHECK-NEXT:   Succs (1): B0
 462 // CHECK:      [B5]
 463 // CHECK-NEXT:   1: UV
 464 // CHECK-NEXT:   2: [B5.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 465 // CHECK-NEXT:   T: if [B5.2]
 466 // CHECK-NEXT:   Preds (1): B7
 467 // CHECK-NEXT:   Succs (2): B4 B3
 468 // CHECK:      [B6]
 469 // CHECK-NEXT:   1: [B9.3].~A() (Implicit destructor)
 470 // CHECK-NEXT:   2: CFGScopeEnd(b)
 471 // CHECK-NEXT:   T: continue;
 472 // CHECK-NEXT:   Preds (1): B7
 473 // CHECK-NEXT:   Succs (1): B2
 474 // CHECK:      [B7]
 475 // CHECK-NEXT:   1: UV
 476 // CHECK-NEXT:   2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 477 // CHECK-NEXT:   T: if [B7.2]
 478 // CHECK-NEXT:   Preds (1): B9
 479 // CHECK-NEXT:   Succs (2): B6 B5
 480 // CHECK:      [B8]
 481 // CHECK-NEXT:   1: [B9.3].~A() (Implicit destructor)
 482 // CHECK-NEXT:   2: CFGScopeEnd(b)
 483 // CHECK-NEXT:   T: break;
 484 // CHECK-NEXT:   Preds (1): B9
 485 // CHECK-NEXT:   Succs (1): B1
 486 // CHECK:      [B9]
 487 // CHECK-NEXT:   1: CFGScopeBegin(b)
 488 // CHECK-NEXT:   2:  (CXXConstructExpr, [B9.3], A)
 489 // CHECK-NEXT:   3: A b;
 490 // CHECK-NEXT:   4: UV
 491 // CHECK-NEXT:   5: [B9.4] (ImplicitCastExpr, LValueToRValue, _Bool)
 492 // CHECK-NEXT:   T: if [B9.5]
 493 // CHECK-NEXT:   Preds (2): B10 B11
 494 // CHECK-NEXT:   Succs (2): B8 B7
 495 // CHECK:      [B10]
 496 // CHECK-NEXT:   Preds (1): B2
 497 // CHECK-NEXT:   Succs (1): B9
 498 // CHECK:      [B11]
 499 // CHECK-NEXT:   1: CFGScopeBegin(a)
 500 // CHECK-NEXT:   2:  (CXXConstructExpr, [B11.3], A)
 501 // CHECK-NEXT:   3: A a;
 502 // CHECK-NEXT:   Preds (1): B12
 503 // CHECK-NEXT:   Succs (1): B9
 504 // CHECK:      [B0 (EXIT)]
 505 // CHECK-NEXT:   Preds (2): B1 B4
 506 void test_do_jumps() {
 507   A a;
 508   do {
 509     A b;
 510     if (UV) break;
 511     if (UV) continue;
 512     if (UV) return;
 513     A c;
 514   } while (UV);
 515   A d;
 516 }
 517
 518 // CHECK:      [B6 (ENTRY)]
 519 // CHECK-NEXT:   Succs (1): B5
 520 // CHECK:      [B1]
 521 // CHECK-NEXT:   1: [B4.5].~A() (Implicit destructor)
 522 // CHECK-NEXT:   2: CFGScopeEnd(b)
 523 // CHECK-NEXT:   3: [B5.3].~A() (Implicit destructor)
 524 // CHECK-NEXT:   4: CFGScopeEnd(a)
 525 // CHECK-NEXT:   Preds (1): B4
 526 // CHECK-NEXT:   Succs (1): B0
 527 // CHECK:      [B2]
 528 // CHECK-NEXT:   1: b
 529 // CHECK-NEXT:   2: [B2.1].p
 530 // CHECK-NEXT:   3: [B4.5].~A() (Implicit destructor)
 531 // CHECK-NEXT:   4: CFGScopeEnd(b)
 532 // CHECK-NEXT:   Preds (1): B3
 533 // CHECK-NEXT:   Succs (1): B4
 534 // CHECK:      [B3]
 535 // CHECK-NEXT:   1: CFGScopeBegin(c)
 536 // CHECK-NEXT:   2:  (CXXConstructExpr, [B3.3], A)
 537 // CHECK-NEXT:   3: A c;
 538 // CHECK-NEXT:   4: [B3.3].~A() (Implicit destructor)
 539 // CHECK-NEXT:   5: CFGScopeEnd(c)
 540 // CHECK-NEXT:   Preds (1): B4
 541 // CHECK-NEXT:   Succs (1): B2
 542 // CHECK:      [B4]
 543 // CHECK-NEXT:   1: CFGScopeBegin(b)
 544 // CHECK-NEXT:   2: a
 545 // CHECK-NEXT:   3: [B4.2] (ImplicitCastExpr, NoOp, const A)
 546 // CHECK-NEXT:   4: [B4.3] (CXXConstructExpr, [B4.5], A)
 547 // CHECK-NEXT:   5: A b = a;
 548 // CHECK-NEXT:   6: b
 549 // CHECK-NEXT:   7: [B4.6] (ImplicitCastExpr, NoOp, const class A)
 550 // CHECK-NEXT:   8: [B4.7].operator int
 551 // CHECK-NEXT:   9: [B4.7]
 552 // CHECK-NEXT:  10: [B4.9] (ImplicitCastExpr, UserDefinedConversion, int)
 553 // CHECK-NEXT:  11: [B4.10] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 554 // CHECK-NEXT:   T: for (...; [B4.11]; ...)
 555 // CHECK-NEXT:   Preds (2): B2 B5
 556 // CHECK-NEXT:   Succs (2): B3 B1
 557 // CHECK:      [B5]
 558 // CHECK-NEXT:   1: CFGScopeBegin(a)
 559 // CHECK-NEXT:   2:  (CXXConstructExpr, [B5.3], A)
 560 // CHECK-NEXT:   3: A a;
 561 // CHECK-NEXT:   Preds (1): B6
 562 // CHECK-NEXT:   Succs (1): B4
 563 // CHECK:      [B0 (EXIT)]
 564 // CHECK-NEXT:   Preds (1): B1
 565 void test_for_implicit_scope() {
 566   for (A a; A b = a; b.p)
 567     A c;
 568 }
 569
 570 // CHECK:      [B12 (ENTRY)]
 571 // CHECK-NEXT:   Succs (1): B11
 572 // CHECK:      [B1]
 573 // CHECK-NEXT:   1: [B10.5].~A() (Implicit destructor)
 574 // CHECK-NEXT:   2: CFGScopeEnd(c)
 575 // CHECK-NEXT:   3: [B11.6].~A() (Implicit destructor)
 576 // CHECK-NEXT:   4: CFGScopeEnd(b)
 577 // CHECK-NEXT:   5:  (CXXConstructExpr, [B1.6], A)
 578 // CHECK-NEXT:   6: A f;
 579 // CHECK-NEXT:   7: [B1.6].~A() (Implicit destructor)
 580 // CHECK-NEXT:   8: [B11.3].~A() (Implicit destructor)
 581 // CHECK-NEXT:   9: CFGScopeEnd(a)
 582 // CHECK-NEXT:   Preds (2): B8 B10
 583 // CHECK-NEXT:   Succs (1): B0
 584 // CHECK:      [B2]
 585 // CHECK-NEXT:   1: [B10.5].~A() (Implicit destructor)
 586 // CHECK-NEXT:   2: CFGScopeEnd(c)
 587 // CHECK-NEXT:   Preds (2): B3 B6
 588 // CHECK-NEXT:   Succs (1): B10
 589 // CHECK:      [B3]
 590 // CHECK-NEXT:   1:  (CXXConstructExpr, [B3.2], A)
 591 // CHECK-NEXT:   2: A e;
 592 // CHECK-NEXT:   3: [B3.2].~A() (Implicit destructor)
 593 // CHECK-NEXT:   4: [B9.3].~A() (Implicit destructor)
 594 // CHECK-NEXT:   5: CFGScopeEnd(d)
 595 // CHECK-NEXT:   Preds (1): B5
 596 // CHECK-NEXT:   Succs (1): B2
 597 // CHECK:      [B4]
 598 // CHECK-NEXT:   1: return;
 599 // CHECK-NEXT:   2: [B9.3].~A() (Implicit destructor)
 600 // CHECK-NEXT:   3: CFGScopeEnd(d)
 601 // CHECK-NEXT:   4: [B10.5].~A() (Implicit destructor)
 602 // CHECK-NEXT:   5: CFGScopeEnd(c)
 603 // CHECK-NEXT:   6: [B11.6].~A() (Implicit destructor)
 604 // CHECK-NEXT:   7: CFGScopeEnd(b)
 605 // CHECK-NEXT:   8: [B11.3].~A() (Implicit destructor)
 606 // CHECK-NEXT:   9: CFGScopeEnd(a)
 607 // CHECK-NEXT:   Preds (1): B5
 608 // CHECK-NEXT:   Succs (1): B0
 609 // CHECK:      [B5]
 610 // CHECK-NEXT:   1: UV
 611 // CHECK-NEXT:   2: [B5.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 612 // CHECK-NEXT:   T: if [B5.2]
 613 // CHECK-NEXT:   Preds (1): B7
 614 // CHECK-NEXT:   Succs (2): B4 B3
 615 // CHECK:      [B6]
 616 // CHECK-NEXT:   1: [B9.3].~A() (Implicit destructor)
 617 // CHECK-NEXT:   2: CFGScopeEnd(d)
 618 // CHECK-NEXT:   T: continue;
 619 // CHECK-NEXT:   Preds (1): B7
 620 // CHECK-NEXT:   Succs (1): B2
 621 // CHECK:      [B7]
 622 // CHECK-NEXT:   1: UV
 623 // CHECK-NEXT:   2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 624 // CHECK-NEXT:   T: if [B7.2]
 625 // CHECK-NEXT:   Preds (1): B9
 626 // CHECK-NEXT:   Succs (2): B6 B5
 627 // CHECK:      [B8]
 628 // CHECK-NEXT:   1: [B9.3].~A() (Implicit destructor)
 629 // CHECK-NEXT:   2: CFGScopeEnd(d)
 630 // CHECK-NEXT:   T: break;
 631 // CHECK-NEXT:   Preds (1): B9
 632 // CHECK-NEXT:   Succs (1): B1
 633 // CHECK:      [B9]
 634 // CHECK-NEXT:   1: CFGScopeBegin(d)
 635 // CHECK-NEXT:   2:  (CXXConstructExpr, [B9.3], A)
 636 // CHECK-NEXT:   3: A d;
 637 // CHECK-NEXT:   4: UV
 638 // CHECK-NEXT:   5: [B9.4] (ImplicitCastExpr, LValueToRValue, _Bool)
 639 // CHECK-NEXT:   T: if [B9.5]
 640 // CHECK-NEXT:   Preds (1): B10
 641 // CHECK-NEXT:   Succs (2): B8 B7
 642 // CHECK:      [B10]
 643 // CHECK-NEXT:   1: CFGScopeBegin(c)
 644 // CHECK-NEXT:   2: b
 645 // CHECK-NEXT:   3: [B10.2] (ImplicitCastExpr, NoOp, const A)
 646 // CHECK-NEXT:   4: [B10.3] (CXXConstructExpr, [B10.5], A)
 647 // CHECK-NEXT:   5: A c = b;
 648 // CHECK-NEXT:   6: c
 649 // CHECK-NEXT:   7: [B10.6] (ImplicitCastExpr, NoOp, const class A)
 650 // CHECK-NEXT:   8: [B10.7].operator int
 651 // CHECK-NEXT:   9: [B10.7]
 652 // CHECK-NEXT:  10: [B10.9] (ImplicitCastExpr, UserDefinedConversion, int)
 653 // CHECK-NEXT:  11: [B10.10] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 654 // CHECK-NEXT:   T: for (...; [B10.11]; )
 655 // CHECK-NEXT:   Preds (2): B2 B11
 656 // CHECK-NEXT:   Succs (2): B9 B1
 657 // CHECK:      [B11]
 658 // CHECK-NEXT:   1: CFGScopeBegin(a)
 659 // CHECK-NEXT:   2:  (CXXConstructExpr, [B11.3], A)
 660 // CHECK-NEXT:   3: A a;
 661 // CHECK-NEXT:   4: CFGScopeBegin(b)
 662 // CHECK-NEXT:   5:  (CXXConstructExpr, [B11.6], A)
 663 // CHECK-NEXT:   6: A b;
 664 // CHECK-NEXT:   Preds (1): B12
 665 // CHECK-NEXT:   Succs (1): B10
 666 // CHECK:      [B0 (EXIT)]
 667 // CHECK-NEXT:   Preds (2): B1 B4
 668 void test_for_jumps() {
 669   A a;
 670   for (A b; A c = b; ) {
 671     A d;
 672     if (UV) break;
 673     if (UV) continue;
 674     if (UV) return;
 675     A e;
 676   }
 677   A f;
 678 }
 679
 680 // CHECK:      [B9 (ENTRY)]
 681 // CHECK-NEXT:   Succs (1): B8
 682 // CHECK:      [B1]
 683 // CHECK-NEXT:   1: [B7.5].~A() (Implicit destructor)
 684 // CHECK-NEXT:   2: CFGScopeEnd(b)
 685 // CHECK-NEXT:   3: [B8.3].~A() (Implicit destructor)
 686 // CHECK-NEXT:   4: CFGScopeEnd(a)
 687 // CHECK-NEXT:   Preds (1): B7
 688 // CHECK-NEXT:   Succs (1): B0
 689 // CHECK:      [B2]
 690 // CHECK-NEXT:   1: [B5.4] ? [B3.3] : [B4.2]
 691 // CHECK-NEXT:   2: [B7.5].~A() (Implicit destructor)
 692 // CHECK-NEXT:   3: CFGScopeEnd(b)
 693 // CHECK-NEXT:   Preds (2): B3 B4
 694 // CHECK-NEXT:   Succs (1): B7
 695 // CHECK:      [B3]
 696 // CHECK-NEXT:   1: b
 697 // CHECK-NEXT:   2: [B3.1].p
 698 // CHECK-NEXT:   3: [B3.2]++
 699 // CHECK-NEXT:   Preds (1): B5
 700 // CHECK-NEXT:   Succs (1): B2
 701 // CHECK:      [B4]
 702 // CHECK-NEXT:   1: 0
 703 // CHECK-NEXT:   2: [B4.1] (ImplicitCastExpr, NullToPointer, int *)
 704 // CHECK-NEXT:   Preds (1): B5
 705 // CHECK-NEXT:   Succs (1): B2
 706 // CHECK:      [B5]
 707 // CHECK-NEXT:   1: b
 708 // CHECK-NEXT:   2: [B5.1].p
 709 // CHECK-NEXT:   3: [B5.2] (ImplicitCastExpr, LValueToRValue, int *)
 710 // CHECK-NEXT:   4: [B5.3] (ImplicitCastExpr, PointerToBoolean, _Bool)
 711 // CHECK-NEXT:   T: [B5.4] ? ... : ...
 712 // CHECK-NEXT:   Preds (1): B6
 713 // CHECK-NEXT:   Succs (2): B3 B4
 714 // CHECK:      [B6]
 715 // CHECK-NEXT:   1: 0
 716 // CHECK-NEXT:   2: (void)[B6.1] (CStyleCastExpr, ToVoid, void)
 717 // CHECK-NEXT:   Preds (1): B7
 718 // CHECK-NEXT:   Succs (1): B5
 719 // CHECK:      [B7]
 720 // CHECK-NEXT:   1: CFGScopeBegin(b)
 721 // CHECK-NEXT:   2: a
 722 // CHECK-NEXT:   3: [B7.2] (ImplicitCastExpr, NoOp, const A)
 723 // CHECK-NEXT:   4: [B7.3] (CXXConstructExpr, [B7.5], A)
 724 // CHECK-NEXT:   5: A b = a;
 725 // CHECK-NEXT:   6: b
 726 // CHECK-NEXT:   7: [B7.6] (ImplicitCastExpr, NoOp, const class A)
 727 // CHECK-NEXT:   8: [B7.7].operator int
 728 // CHECK-NEXT:   9: [B7.7]
 729 // CHECK-NEXT:  10: [B7.9] (ImplicitCastExpr, UserDefinedConversion, int)
 730 // CHECK-NEXT:  11: [B7.10] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 731 // CHECK-NEXT:   T: for (...; [B7.11]; ...)
 732 // CHECK-NEXT:   Preds (2): B2 B8
 733 // CHECK-NEXT:   Succs (2): B6 B1
 734 // CHECK:      [B8]
 735 // CHECK-NEXT:   1: CFGScopeBegin(a)
 736 // CHECK-NEXT:   2:  (CXXConstructExpr, [B8.3], A)
 737 // CHECK-NEXT:   3: A a;
 738 // CHECK-NEXT:   Preds (1): B9
 739 // CHECK-NEXT:   Succs (1): B7
 740 void test_for_inc_conditional() {
 741   for (A a; A b = a; b.p ? b.p++ : 0)
 742     (void)0;
 743 }
 744
 745 // CHECK:      [B9 (ENTRY)]
 746 // CHECK-NEXT:   Succs (1): B7
 747 // CHECK:      [B1]
 748 // CHECK-NEXT:  l1:
 749 // CHECK-NEXT:   1:  (CXXConstructExpr, [B1.2], A)
 750 // CHECK-NEXT:   2: A c;
 751 // CHECK-NEXT:   3: [B1.2].~A() (Implicit destructor)
 752 // CHECK-NEXT:   4: [B6.4].~A() (Implicit destructor)
 753 // CHECK-NEXT:   5: [B6.2].~A() (Implicit destructor)
 754 // CHECK-NEXT:   6: [B7.3].~A() (Implicit destructor)
 755 // CHECK-NEXT:   7: CFGScopeEnd(a)
 756 // CHECK-NEXT:   Preds (2): B2 B3
 757 // CHECK-NEXT:   Succs (1): B0
 758 // CHECK:      [B2]
 759 // CHECK-NEXT:   1:  (CXXConstructExpr, [B2.2], A)
 760 // CHECK-NEXT:   2: A nb;
 761 // CHECK-NEXT:   3: [B2.2].~A() (Implicit destructor)
 762 // CHECK-NEXT:   4: [B6.7].~A() (Implicit destructor)
 763 // CHECK-NEXT:   5: CFGScopeEnd(na)
 764 // CHECK-NEXT:   Preds (1): B4
 765 // CHECK-NEXT:   Succs (1): B1
 766 // CHECK:      [B3]
 767 // CHECK-NEXT:   1: [B6.7].~A() (Implicit destructor)
 768 // CHECK-NEXT:   2: CFGScopeEnd(na)
 769 // CHECK-NEXT:   T: goto l1;
 770 // CHECK-NEXT:   Preds (1): B4
 771 // CHECK-NEXT:   Succs (1): B1
 772 // CHECK:      [B4]
 773 // CHECK-NEXT:   1: UV
 774 // CHECK-NEXT:   2: [B4.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 775 // CHECK-NEXT:   T: if [B4.2]
 776 // CHECK-NEXT:   Preds (1): B6
 777 // CHECK-NEXT:   Succs (2): B3 B2
 778 // CHECK:      [B5]
 779 // CHECK-NEXT:   Preds (1): B6
 780 // CHECK-NEXT:   Succs (1): B8
 781 // CHECK:      [B6]
 782 // CHECK-NEXT:  l0:
 783 // CHECK-NEXT:   1:  (CXXConstructExpr, [B6.2], A)
 784 // CHECK-NEXT:   2: A cb;
 785 // CHECK-NEXT:   3:  (CXXConstructExpr, [B6.4], A)
 786 // CHECK-NEXT:   4: A b;
 787 // CHECK-NEXT:   5: CFGScopeBegin(na)
 788 // CHECK-NEXT:   6:  (CXXConstructExpr, [B6.7], A)
 789 // CHECK-NEXT:   7: A na;
 790 // CHECK-NEXT:   8: UV
 791 // CHECK-NEXT:   9: [B6.8] (ImplicitCastExpr, LValueToRValue, _Bool)
 792 // CHECK-NEXT:   T: if [B6.9]
 793 // CHECK-NEXT:   Preds (2): B7 B8
 794 // CHECK-NEXT:   Succs (2): B5 B4
 795 // CHECK:      [B7]
 796 // CHECK-NEXT:   1: CFGScopeBegin(a)
 797 // CHECK-NEXT:   2:  (CXXConstructExpr, [B7.3], A)
 798 // CHECK-NEXT:   3: A a;
 799 // CHECK-NEXT:   Preds (1): B9
 800 // CHECK-NEXT:   Succs (1): B6
 801 // CHECK:      [B8]
 802 // CHECK-NEXT:   1: [B6.7].~A() (Implicit destructor)
 803 // CHECK-NEXT:   2: CFGScopeEnd(na)
 804 // CHECK-NEXT:   3: [B6.4].~A() (Implicit destructor)
 805 // CHECK-NEXT:   4: [B6.2].~A() (Implicit destructor)
 806 // CHECK-NEXT:   T: goto l0;
 807 // CHECK-NEXT:   Preds (1): B5
 808 // CHECK-NEXT:   Succs (1): B6
 809 // CHECK:      [B0 (EXIT)]
 810 // CHECK-NEXT:   Preds (1): B1
 811 void test_goto() {
 812   A a;
 813 l0:
 814   A cb;
 815   A b;
 816   { A na;
 817     if (UV) goto l0;
 818     if (UV) goto l1;
 819     A nb;
 820   }
 821 l1:
 822   A c;
 823 }
 824
 825 // CHECK:      [B7 (ENTRY)]
 826 // CHECK-NEXT:   Succs (1): B6
 827 // CHECK:      [B1]
 828 // CHECK-NEXT:   1: CFGScopeEnd(i)
 829 // CHECK-NEXT:   2: CFGScopeBegin(unused2)
 830 // CHECK-NEXT:   3: int unused2;
 831 // CHECK-NEXT:   4: CFGScopeEnd(unused2)
 832 // CHECK-NEXT:   Preds (2): B4 B5
 833 // CHECK-NEXT:   Succs (1): B0
 834 // CHECK:      [B2]
 835 // CHECK-NEXT:   1: i
 836 // CHECK-NEXT:   2: ++[B2.1]
 837 // CHECK-NEXT:   Preds (1): B3
 838 // CHECK-NEXT:   Succs (1): B5
 839 // CHECK:      [B3]
 840 // CHECK-NEXT:   1: CFGScopeEnd(unused1)
 841 // CHECK-NEXT:   Succs (1): B2
 842 // CHECK:      [B4]
 843 // CHECK-NEXT:   1: CFGScopeBegin(unused1)
 844 // CHECK-NEXT:   2: int unused1;
 845 // CHECK-NEXT:   3: CFGScopeEnd(unused1)
 846 // CHECK-NEXT:   T: break;
 847 // CHECK-NEXT:   Preds (1): B5
 848 // CHECK-NEXT:   Succs (1): B1
 849 // CHECK:      [B5]
 850 // CHECK-NEXT:   1: i
 851 // CHECK-NEXT:   2: [B5.1] (ImplicitCastExpr, LValueToRValue, int)
 852 // CHECK-NEXT:   3: 3
 853 // CHECK-NEXT:   4: [B5.2] < [B5.3]
 854 // CHECK-NEXT:   T: for (...; [B5.4]; ...)
 855 // CHECK-NEXT:   Preds (2): B2 B6
 856 // CHECK-NEXT:   Succs (2): B4 B1
 857 // CHECK:      [B6]
 858 // CHECK-NEXT:   1: CFGScopeBegin(i)
 859 // CHECK-NEXT:   2: 0
 860 // CHECK-NEXT:   3: int i = 0;
 861 // CHECK-NEXT:   Preds (1): B7
 862 // CHECK-NEXT:   Succs (1): B5
 863 // CHECK:      [B0 (EXIT)]
 864 // CHECK-NEXT:   Preds (1): B1
 865 void test_for_compound_and_break() {
 866   for (int i = 0; i < 3; ++i) {
 867     {
 868       int unused1;
 869       break;
 870     }
 871   }
 872   {
 873     int unused2;
 874   }
 875 }
 876
 877 // CHECK:      [B6 (ENTRY)]
 878 // CHECK-NEXT:   Succs (1): B5
 879 // CHECK:      [B1]
 880 // CHECK-NEXT:   1: CFGScopeEnd(__end1)
 881 // CHECK-NEXT:   2: CFGScopeEnd(__begin1)
 882 // CHECK-NEXT:   3: CFGScopeEnd(__range1)
 883 // CHECK-NEXT:   4: [B5.3].~A[10]() (Implicit destructor)
 884 // CHECK-NEXT:   5: CFGScopeEnd(a)
 885 // CHECK-NEXT:   Preds (1): B2
 886 // CHECK-NEXT:   Succs (1): B0
 887 // CHECK:      [B2]
 888 // CHECK-NEXT:   1: __begin1
 889 // CHECK-NEXT:   2: [B2.1] (ImplicitCastExpr, LValueToRValue, A *)
 890 // CHECK-NEXT:   3: __end1
 891 // CHECK-NEXT:   4: [B2.3] (ImplicitCastExpr, LValueToRValue, A *)
 892 // CHECK-NEXT:   5: [B2.2] != [B2.4]
 893 // CHECK-NEXT:   T: for (auto &i : [B5.4])
 894 // CHECK:         [B4.11];
 895 // CHECK:        Preds (2): B3 B5
 896 // CHECK-NEXT:   Succs (2): B4 B1
 897 // CHECK:      [B3]
 898 // CHECK-NEXT:   1: __begin1
 899 // CHECK-NEXT:   2: ++[B3.1]
 900 // CHECK-NEXT:   Preds (1): B4
 901 // CHECK-NEXT:   Succs (1): B2
 902 // CHECK:      [B4]
 903 // CHECK-NEXT:   1: CFGScopeBegin(i)
 904 // CHECK-NEXT:   2: __begin1
 905 // CHECK-NEXT:   3: [B4.2] (ImplicitCastExpr, LValueToRValue, A *)
 906 // CHECK-NEXT:   4: *[B4.3]
 907 // CHECK-NEXT:   5: auto &i
 908 // CHECK-NEXT:   6: operator=
 909 // CHECK-NEXT:   7: [B4.6] (ImplicitCastExpr, FunctionToPointerDecay, A &(*)(const A &)
 910 // CHECK-NEXT:   8: i
 911 // CHECK-NEXT:   9: b
 912 // CHECK-NEXT:  10: [B4.9] (ImplicitCastExpr, NoOp, const A)
 913 // CHECK-NEXT:  11: [B4.8] = [B4.10] (OperatorCall)
 914 // CHECK-NEXT:  12: CFGScopeEnd(i)
 915 // CHECK-NEXT:   Preds (1): B2
 916 // CHECK-NEXT:   Succs (1): B3
 917 // CHECK:      [B5]
 918 // CHECK-NEXT:   1: CFGScopeBegin(a)
 919 // CHECK-NEXT:   2:  (CXXConstructExpr, [B5.3], A[10])
 920 // CHECK-NEXT:   3: A a[10];
 921 // CHECK-NEXT:   4: a
 922 // CHECK-NEXT:   5: auto &&__range1 = a;
 923 // CHECK-NEXT:   6: CFGScopeBegin(__end1)
 924 // CHECK-NEXT:   7: __range1
 925 // CHECK-NEXT:   8: [B5.7] (ImplicitCastExpr, ArrayToPointerDecay, A *)
 926 // CHECK-NEXT:   9: 10
 927 // CHECK-NEXT:  10: [B5.8] + [B5.9]
 928 // CHECK-NEXT:  11: auto __end1 = __range1 + 10
 929 // CHECK-NEXT:  12: __range1
 930 // CHECK-NEXT:  13: [B5.12] (ImplicitCastExpr, ArrayToPointerDecay, A *)
 931 // CHECK-NEXT:  14: auto __begin1 = __range1;
 932 // CHECK-NEXT:   Preds (1): B6
 933 // CHECK-NEXT:   Succs (1): B2
 934 // CHECK:      [B0 (EXIT)]
 935 // CHECK-NEXT:   Preds (1): B1
 936 void test_range_for(A &b) {
 937   A a[10];
 938   for (auto &i : a)
 939     i = b;
 940 }
 941
 942 // CHECK:      [B8 (ENTRY)]
 943 // CHECK-NEXT:   Succs (1): B2
 944 // CHECK:      [B1]
 945 // CHECK-NEXT:   1: CFGScopeEnd(i)
 946 // CHECK-NEXT:   2: 1
 947 // CHECK-NEXT:   3: int k = 1;
 948 // CHECK-NEXT:   4: CFGScopeEnd(c)
 949 // CHECK-NEXT:   Preds (3): B3 B5 B6
 950 // CHECK-NEXT:   Succs (1): B0
 951 // CHECK:      [B2]
 952 // CHECK-NEXT:   1: CFGScopeBegin(c)
 953 // CHECK-NEXT:   2: '1'
 954 // CHECK-NEXT:   3: char c = '1';
 955 // CHECK-NEXT:   4: CFGScopeBegin(i)
 956 // CHECK-NEXT:   5: getX
 957 // CHECK-NEXT:   6: [B2.5] (ImplicitCastExpr, FunctionToPointerDecay, int (*)(void))
 958 // CHECK-NEXT:   7: [B2.6]()
 959 // CHECK-NEXT:   8: int i = getX();
 960 // CHECK-NEXT:   9: i
 961 // CHECK-NEXT:  10: [B2.9] (ImplicitCastExpr, LValueToRValue, int)
 962 // CHECK-NEXT:   T: switch [B2.10]
 963 // CHECK-NEXT:   Preds (1): B8
 964 // CHECK-NEXT:   Succs (5): B4 B5 B6 B7 B3
 965 // CHECK:      [B3]
 966 // CHECK-NEXT:  default:
 967 // CHECK-NEXT:   1: CFGScopeBegin(a)
 968 // CHECK-NEXT:   2: 0
 969 // CHECK-NEXT:   3: int a = 0;
 970 // CHECK-NEXT:   4: i
 971 // CHECK-NEXT:   5: ++[B3.4]
 972 // CHECK-NEXT:   6: CFGScopeEnd(a)
 973 // CHECK-NEXT:   Preds (2): B4 B2
 974 // CHECK-NEXT:   Succs (1): B1
 975 // CHECK:      [B4]
 976 // CHECK-NEXT:  case 3:
 977 // CHECK-NEXT:   1: '2'
 978 // CHECK-NEXT:   2: c
 979 // CHECK-NEXT:   3: [B4.2] = [B4.1]
 980 // CHECK-NEXT:   Preds (1): B2
 981 // CHECK-NEXT:   Succs (1): B3
 982 // CHECK:      [B5]
 983 // CHECK-NEXT:  case 2:
 984 // CHECK-NEXT:   1: '2'
 985 // CHECK-NEXT:   2: c
 986 // CHECK-NEXT:   3: [B5.2] = [B5.1]
 987 // CHECK-NEXT:   T: break;
 988 // CHECK-NEXT:   Preds (1): B2
 989 // CHECK-NEXT:   Succs (1): B1
 990 // CHECK:      [B6]
 991 // CHECK-NEXT:  case 1:
 992 // CHECK-NEXT:   1: '3'
 993 // CHECK-NEXT:   2: c
 994 // CHECK-NEXT:   3: [B6.2] = [B6.1]
 995 // CHECK-NEXT:   T: break;
 996 // CHECK-NEXT:   Preds (2): B2 B7
 997 // CHECK-NEXT:   Succs (1): B1
 998 // CHECK:      [B7]
 999 // CHECK-NEXT:  case 0:
1000 // CHECK-NEXT:   1: '2'
1001 // CHECK-NEXT:   2: c
1002 // CHECK-NEXT:   3: [B7.2] = [B7.1]
1003 // CHECK-NEXT:   Preds (1): B2
1004 // CHECK-NEXT:   Succs (1): B6
1005 // CHECK:      [B0 (EXIT)]
1006 // CHECK-NEXT:   Preds (1): B1
1007 void test_switch_with_compound_with_default() {
1008   char c = '1';
1009   switch (int i = getX()) {
1010     case 0:
1011       c = '2';
1012     case 1:
1013       c = '3';
1014       break;
1015     case 2: {
1016       c = '2';
1017       break;
1018     }
1019     case 3:
1020       c = '2';
1021     default: {
1022       int a = 0;
1023       ++i;
1024     }
1025     }
1026   int k = 1;
1027 }
1028
1029 // CHECK:      [B6 (ENTRY)]
1030 // CHECK-NEXT:   Succs (1): B2
1031 // CHECK:      [B1]
1032 // CHECK-NEXT:   1: CFGScopeEnd(i)
1033 // CHECK-NEXT:   2: 3
1034 // CHECK-NEXT:   3: int k = 3;
1035 // CHECK-NEXT:   4: CFGScopeEnd(c)
1036 // CHECK-NEXT:   Preds (3): B3 B4 B2
1037 // CHECK-NEXT:   Succs (1): B0
1038 // CHECK:      [B2]
1039 // CHECK-NEXT:   1: CFGScopeBegin(c)
1040 // CHECK-NEXT:   2: '1'
1041 // CHECK-NEXT:   3: char c = '1';
1042 // CHECK-NEXT:   4: CFGScopeBegin(i)
1043 // CHECK-NEXT:   5: getX
1044 // CHECK-NEXT:   6: [B2.5] (ImplicitCastExpr, FunctionToPointerDecay, int (*)(void))
1045 // CHECK-NEXT:   7: [B2.6]()
1046 // CHECK-NEXT:   8: int i = getX();
1047 // CHECK-NEXT:   9: i
1048 // CHECK-NEXT:  10: [B2.9] (ImplicitCastExpr, LValueToRValue, int)
1049 // CHECK-NEXT:   T: switch [B2.10]
1050 // CHECK-NEXT:   Preds (1): B6
1051 // CHECK-NEXT:   Succs (4): B3 B4 B5 B1
1052 // CHECK:      [B3]
1053 // CHECK-NEXT:  case 2:
1054 // CHECK-NEXT:   1: '3'
1055 // CHECK-NEXT:   2: c
1056 // CHECK-NEXT:   3: [B3.2] = [B3.1]
1057 // CHECK-NEXT:   T: break;
1058 // CHECK-NEXT:   Preds (1): B2
1059 // CHECK-NEXT:   Succs (1): B1
1060 // CHECK:      [B4]
1061 // CHECK-NEXT:  case 1:
1062 // CHECK-NEXT:   1: '1'
1063 // CHECK-NEXT:   2: c
1064 // CHECK-NEXT:   3: [B4.2] = [B4.1]
1065 // CHECK-NEXT:   T: break;
1066 // CHECK-NEXT:   Preds (2): B2 B5
1067 // CHECK-NEXT:   Succs (1): B1
1068 // CHECK:      [B5]
1069 // CHECK-NEXT:  case 0:
1070 // CHECK-NEXT:   1: '2'
1071 // CHECK-NEXT:   2: c
1072 // CHECK-NEXT:   3: [B5.2] = [B5.1]
1073 // CHECK-NEXT:   Preds (1): B2
1074 // CHECK-NEXT:   Succs (1): B4
1075 // CHECK:      [B0 (EXIT)]
1076 // CHECK-NEXT:   Preds (1): B1
1077 int test_switch_with_compound_without_default() {
1078   char c = '1';
1079   switch (int i = getX()) {
1080     case 0:
1081       c = '2';
1082     case 1:
1083       c = '1';
1084       break;
1085     case 2:
1086       c = '3';
1087       break;
1088    }
1089   int k = 3;
1090 }
1091
1092 // CHECK:      [B5 (ENTRY)]
1093 // CHECK-NEXT:   Succs (1): B2
1094 // CHECK:      [B1]
1095 // CHECK-NEXT:   1: CFGScopeEnd(i)
1096 // CHECK-NEXT:   2: 1
1097 // CHECK-NEXT:   3: int k = 1;
1098 // CHECK-NEXT:   4: CFGScopeEnd(s)
1099 // CHECK-NEXT:   Preds (1): B3
1100 // CHECK-NEXT:   Succs (1): B0
1101 // CHECK:      [B2]
1102 // CHECK-NEXT:   1: CFGScopeBegin(s)
1103 // CHECK-NEXT:   2: '1'
1104 // CHECK-NEXT:   3: char s = '1';
1105 // CHECK-NEXT:   4: CFGScopeBegin(i)
1106 // CHECK-NEXT:   5: getX
1107 // CHECK-NEXT:   6: [B2.5] (ImplicitCastExpr, FunctionToPointerDecay, int (*)(void))
1108 // CHECK-NEXT:   7: [B2.6]()
1109 // CHECK-NEXT:   8: int i = getX();
1110 // CHECK-NEXT:   9: i
1111 // CHECK-NEXT:  10: [B2.9] (ImplicitCastExpr, LValueToRValue, int)
1112 // CHECK-NEXT:   T: switch [B2.10]
1113 // CHECK-NEXT:   Preds (1): B5
1114 // CHECK-NEXT:   Succs (2): B4 B3
1115 // CHECK:      [B3]
1116 // CHECK-NEXT:  default:
1117 // CHECK-NEXT:   1: CFGScopeBegin(a)
1118 // CHECK-NEXT:   2: 0
1119 // CHECK-NEXT:   3: int a = 0;
1120 // CHECK-NEXT:   4: i
1121 // CHECK-NEXT:   5: ++[B3.4]
1122 // CHECK-NEXT:   6: CFGScopeEnd(a)
1123 // CHECK-NEXT:   Preds (2): B4 B2
1124 // CHECK-NEXT:   Succs (1): B1
1125 // CHECK:      [B4]
1126 // CHECK-NEXT:  case 0:
1127 // CHECK-NEXT:   Preds (1): B2
1128 // CHECK-NEXT:   Succs (1): B3
1129 // CHECK:      [B0 (EXIT)]
1130 // CHECK-NEXT:   Preds (1): B1
1131 void test_without_compound() {
1132   char s = '1';
1133   switch (int i = getX())
1134     case 0:
1135     default: {
1136       int a = 0;
1137       ++i;
1138     }
1139   int k = 1;
1140 }
1141
1142 // CHECK:      [B12 (ENTRY)]
1143 // CHECK-NEXT:   Succs (1): B11
1144 // CHECK:      [B1]
1145 // CHECK-NEXT:   1: CFGScopeEnd(i)
1146 // CHECK-NEXT:   Preds (2): B4 B10
1147 // CHECK-NEXT:   Succs (1): B0
1148 // CHECK:      [B2]
1149 // CHECK-NEXT:   1: i
1150 // CHECK-NEXT:   2: ++[B2.1]
1151 // CHECK-NEXT:   Preds (2): B3 B7
1152 // CHECK-NEXT:   Succs (1): B10
1153 // CHECK:      [B3]
1154 // CHECK-NEXT:   1: CFGScopeEnd(z)
1155 // CHECK-NEXT:   Succs (1): B2
1156 // CHECK:      [B4]
1157 // CHECK-NEXT:   1: CFGScopeBegin(z)
1158 // CHECK-NEXT:   2: 5
1159 // CHECK-NEXT:   3: int z = 5;
1160 // CHECK-NEXT:   4: CFGScopeEnd(z)
1161 // CHECK-NEXT:   T: break;
1162 // CHECK-NEXT:   Preds (2): B6 B8
1163 // CHECK-NEXT:   Succs (1): B1
1164 // CHECK:      [B5]
1165 // CHECK-NEXT:   1: x
1166 // CHECK-NEXT:   2: [B5.1] (ImplicitCastExpr, LValueToRValue, int)
1167 // CHECK-NEXT:   T: switch [B5.2]
1168 // CHECK-NEXT:   Preds (1): B10
1169 // CHECK-NEXT:   Succs (4): B7 B8 B9 B6
1170 // CHECK:      [B6]
1171 // CHECK-NEXT:  default:
1172 // CHECK-NEXT:   1: 3
1173 // CHECK-NEXT:   2: y
1174 // CHECK-NEXT:   3: [B6.2] = [B6.1]
1175 // CHECK-NEXT:   Preds (1): B5
1176 // CHECK-NEXT:   Succs (1): B4
1177 // CHECK:      [B7]
1178 // CHECK-NEXT:  case 2:
1179 // CHECK-NEXT:   1: 4
1180 // CHECK-NEXT:   2: y
1181 // CHECK-NEXT:   3: [B7.2] = [B7.1]
1182 // CHECK-NEXT:   T: continue;
1183 // CHECK-NEXT:   Preds (1): B5
1184 // CHECK-NEXT:   Succs (1): B2
1185 // CHECK:      [B8]
1186 // CHECK-NEXT:  case 1:
1187 // CHECK-NEXT:   1: 2
1188 // CHECK-NEXT:   2: y
1189 // CHECK-NEXT:   3: [B8.2] = [B8.1]
1190 // CHECK-NEXT:   T: break;
1191 // CHECK-NEXT:   Preds (2): B5 B9
1192 // CHECK-NEXT:   Succs (1): B4
1193 // CHECK:      [B9]
1194 // CHECK-NEXT:  case 0:
1195 // CHECK-NEXT:   1: 1
1196 // CHECK-NEXT:   2: y
1197 // CHECK-NEXT:   3: [B9.2] = [B9.1]
1198 // CHECK-NEXT:   Preds (1): B5
1199 // CHECK-NEXT:   Succs (1): B8
1200 // CHECK:      [B10]
1201 // CHECK-NEXT:   1: i
1202 // CHECK-NEXT:   2: [B10.1] (ImplicitCastExpr, LValueToRValue, int)
1203 // CHECK-NEXT:   3: 1000
1204 // CHECK-NEXT:   4: [B10.2] < [B10.3]
1205 // CHECK-NEXT:   T: for (...; [B10.4]; ...)
1206 // CHECK-NEXT:   Preds (2): B2 B11
1207 // CHECK-NEXT:   Succs (2): B5 B1
1208 // CHECK:      [B11]
1209 // CHECK-NEXT:   1: CFGScopeBegin(i)
1210 // CHECK-NEXT:   2: int i;
1211 // CHECK-NEXT:   3: int x;
1212 // CHECK-NEXT:   4: int y;
1213 // CHECK-NEXT:   5: 0
1214 // CHECK-NEXT:   6: i
1215 // CHECK-NEXT:   7: [B11.6] = [B11.5]
1216 // CHECK-NEXT:   Preds (1): B12
1217 // CHECK-NEXT:   Succs (1): B10
1218 // CHECK:      [B0 (EXIT)]
1219 // CHECK-NEXT:   Preds (1): B1
1220 void test_for_switch_in_for() {
1221   int i, x, y;
1222   for (i = 0; i < 1000; ++i) {
1223     switch (x) {
1224     case 0:
1225       y = 1;
1226     case 1:
1227       y = 2;
1228       break; // break from switch
1229     case 2:
1230       y = 4;
1231       continue; // continue in loop
1232     default:
1233       y = 3;
1234     }
1235     {
1236       int z = 5;
1237       break; // break from loop
1238     }
1239   }
1240 }
1241
1242 // CHECK:       [B4 (ENTRY)]
1243 // CHECK-NEXT:    Succs (1): B3
1244 // CHECK:       [B1]
1245 // CHECK-NEXT:   label:
1246 // CHECK-NEXT:    1: CFGScopeEnd(n2t)
1247 // CHECK-NEXT:    2: CFGScopeEnd(n1t)
1248 // CHECK-NEXT:    3: [B3.3].~A() (Implicit destructor)
1249 // CHECK-NEXT:    4: CFGScopeEnd(a)
1250 // CHECK-NEXT:    Preds (2): B2 B3
1251 // CHECK-NEXT:    Succs (1): B0
1252 // CHECK:       [B2]
1253 // CHECK-NEXT:    1: [B3.9].~A() (Implicit destructor)
1254 // CHECK-NEXT:    2: CFGScopeEnd(n2s)
1255 // CHECK-NEXT:    3: [B3.6].~A() (Implicit destructor)
1256 // CHECK-NEXT:    4: CFGScopeEnd(n1s)
1257 // CHECK-NEXT:    5: CFGScopeBegin(n1t)
1258 // CHECK-NEXT:    6: int n1t;
1259 // CHECK-NEXT:    7: CFGScopeBegin(n2t)
1260 // CHECK-NEXT:    8: int n2t;
1261 // CHECK-NEXT:    Succs (1): B1
1262 // CHECK:       [B3]
1263 // CHECK-NEXT:    1: CFGScopeBegin(a)
1264 // CHECK-NEXT:    2:  (CXXConstructExpr, [B3.3], A)
1265 // CHECK-NEXT:    3: A a;
1266 // CHECK-NEXT:    4: CFGScopeBegin(n1s)
1267 // CHECK-NEXT:    5:  (CXXConstructExpr, [B3.6], A)
1268 // CHECK-NEXT:    6: A n1s;
1269 // CHECK-NEXT:    7: CFGScopeBegin(n2s)
1270 // CHECK-NEXT:    8:  (CXXConstructExpr, [B3.9], A)
1271 // CHECK-NEXT:    9: A n2s;
1272 // CHECK-NEXT:   10: [B3.9].~A() (Implicit destructor)
1273 // CHECK-NEXT:   11: CFGScopeEnd(n2s)
1274 // CHECK-NEXT:   12: [B3.6].~A() (Implicit destructor)
1275 // CHECK-NEXT:   13: CFGScopeEnd(n1s)
1276 // CHECK-NEXT:   14: CFGScopeBegin(n1t)
1277 // CHECK-NEXT:   15: CFGScopeBegin(n2t)
1278 // CHECK-NEXT:    T: goto label;
1279 // CHECK-NEXT:    Preds (1): B4
1280 // CHECK-NEXT:    Succs (1): B1
1281 // CHECK:       [B0 (EXIT)]
1282 // CHECK-NEXT:    Preds (1): B1
1283 void test_goto_multiple_scopes() {
1284   A a;
1285   {
1286     A n1s;
1287     {
1288       A n2s;
1289       goto label;
1290     }
1291   }
1292   {
1293     int n1t;
1294     {
1295       int n2t;
1296 label:
1297     }
1298   }
1299 }
1300
1301 // CHECK:       [B5 (ENTRY)]
1302 // CHECK-NEXT:    Succs (1): B3
1303 // CHECK:       [B1]
1304 // CHECK-NEXT:    1: [B2.8].~A() (Implicit destructor)
1305 // CHECK-NEXT:    2: CFGScopeEnd(n2s)
1306 // CHECK-NEXT:    3: [B2.5].~A() (Implicit destructor)
1307 // CHECK-NEXT:    4: CFGScopeEnd(n1s)
1308 // CHECK-NEXT:    5: [B3.3].~A() (Implicit destructor)
1309 // CHECK-NEXT:    6: CFGScopeEnd(a)
1310 // CHECK-NEXT:    Succs (1): B0
1311 // CHECK:       [B2]
1312 // CHECK-NEXT:   label:
1313 // CHECK-NEXT:    1: CFGScopeEnd(n2t)
1314 // CHECK-NEXT:    2: CFGScopeEnd(n1t)
1315 // CHECK-NEXT:    3: CFGScopeBegin(n1s)
1316 // CHECK-NEXT:    4:  (CXXConstructExpr, [B2.5], A)
1317 // CHECK-NEXT:    5: A n1s;
1318 // CHECK-NEXT:    6: CFGScopeBegin(n2s)
1319 // CHECK-NEXT:    7:  (CXXConstructExpr, [B2.8], A)
1320 // CHECK-NEXT:    8: A n2s;
1321 // CHECK-NEXT:    Preds (2): B3 B4
1322 // CHECK-NEXT:    Succs (1): B4
1323 // CHECK:       [B3]
1324 // CHECK-NEXT:    1: CFGScopeBegin(a)
1325 // CHECK-NEXT:    2:  (CXXConstructExpr, [B3.3], A)
1326 // CHECK-NEXT:    3: A a;
1327 // CHECK-NEXT:    4: CFGScopeBegin(n1t)
1328 // CHECK-NEXT:    5: int n1t;
1329 // CHECK-NEXT:    6: CFGScopeBegin(n2t)
1330 // CHECK-NEXT:    7: int n2t;
1331 // CHECK-NEXT:    Preds (1): B5
1332 // CHECK-NEXT:    Succs (1): B2
1333 // CHECK:       [B4]
1334 // CHECK-NEXT:    1: [B2.8].~A() (Implicit destructor)
1335 // CHECK-NEXT:    2: CFGScopeEnd(n2s)
1336 // CHECK-NEXT:    3: [B2.5].~A() (Implicit destructor)
1337 // CHECK-NEXT:    4: CFGScopeEnd(n1s)
1338 // CHECK-NEXT:    5: CFGScopeBegin(n1t)
1339 // CHECK-NEXT:    6: CFGScopeBegin(n2t)
1340 // CHECK-NEXT:    T: goto label;
1341 // CHECK-NEXT:    Preds (1): B2
1342 // CHECK-NEXT:    Succs (1): B2
1343 // CHECK:       [B0 (EXIT)]
1344 // CHECK-NEXT:    Preds (1): B1
1345 void test_backpatched_goto_multiple_scopes() {
1346   A a;
1347   {
1348     int n1t;
1349     {
1350       int n2t;
1351 label:
1352     }
1353   }
1354 {
1355   A n1s;
1356   {
1357     A n2s;
1358     goto label;
1359   }
1360 }
1361 }
1362
1363 // CHECK:       [B8 (ENTRY)]
1364 // CHECK-NEXT:    Succs (1): B7
1365 // CHECK:       [B1]
1366 // CHECK-NEXT:   label:
1367 // CHECK-NEXT:    1: CFGScopeEnd(n2t)
1368 // CHECK-NEXT:    2: CFGScopeEnd(n1t)
1369 // CHECK-NEXT:    Preds (4): B2 B3 B4 B6
1370 // CHECK-NEXT:    Succs (1): B0
1371 // CHECK:       [B2]
1372 // CHECK-NEXT:    T: goto label;
1373 // CHECK-NEXT:    Preds (1): B3
1374 // CHECK-NEXT:    Succs (1): B1
1375 // CHECK:       [B3]
1376 // CHECK-NEXT:    1: CFGScopeBegin(n2t)
1377 // CHECK-NEXT:    2: int n2t;
1378 // CHECK-NEXT:    3: UV
1379 // CHECK-NEXT:    4: [B3.3] (ImplicitCastExpr, LValueToRValue, _Bool)
1380 // CHECK-NEXT:    T: if [B3.4]
1381 // CHECK-NEXT:    Preds (1): B5
1382 // CHECK-NEXT:    Succs (2): B2 B1
1383 // CHECK:       [B4]
1384 // CHECK-NEXT:    1: CFGScopeBegin(n2t)
1385 // CHECK-NEXT:    T: goto label;
1386 // CHECK-NEXT:    Preds (1): B5
1387 // CHECK-NEXT:    Succs (1): B1
1388 // CHECK:       [B5]
1389 // CHECK-NEXT:    1: CFGScopeBegin(n1t)
1390 // CHECK-NEXT:    2: int n1t;
1391 // CHECK-NEXT:    3: UV
1392 // CHECK-NEXT:    4: [B5.3] (ImplicitCastExpr, LValueToRValue, _Bool)
1393 // CHECK-NEXT:    T: if [B5.4]
1394 // CHECK-NEXT:    Preds (1): B7
1395 // CHECK-NEXT:    Succs (2): B4 B3
1396 // CHECK:       [B6]
1397 // CHECK-NEXT:    1: CFGScopeBegin(n1t)
1398 // CHECK-NEXT:    2: CFGScopeBegin(n2t)
1399 // CHECK-NEXT:    T: goto label;
1400 // CHECK-NEXT:    Preds (1): B7
1401 // CHECK-NEXT:    Succs (1): B1
1402 // CHECK:       [B7]
1403 // CHECK-NEXT:    1: UV
1404 // CHECK-NEXT:    2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)
1405 // CHECK-NEXT:    T: if [B7.2]
1406 // CHECK-NEXT:    Preds (1): B8
1407 // CHECK-NEXT:    Succs (2): B6 B5
1408 // CHECK:       [B0 (EXIT)]
1409 // CHECK-NEXT:    Preds (1): B1
1410 void test_multiple_goto_entering_scopes() {
1411   if (UV) goto label;
1412   {
1413     int n1t;
1414     if (UV) goto label;
1415     {
1416       int n2t;
1417       if (UV) goto label;
1418 label:
1419     }
1420   }
1421 }
1422
1423 // CHECK:      [B1]
1424 // CHECK-NEXT:   1: CFGScopeBegin(i)
1425 // CHECK-NEXT:   2: int i __attribute__((cleanup(cleanup_int)));
1426 // CHECK-NEXT:   3: CleanupFunction (cleanup_int)
1427 // CHECK-NEXT:   4: CFGScopeEnd(i)
1428 void cleanup_int(int *i);
1429 void test_cleanup_functions() {
1430   int i __attribute__((cleanup(cleanup_int)));
1431 }
1432
1433 // CHECK:      [B1]
1434 // CHECK-NEXT:    1: 10
1435 // CHECK-NEXT:    2: i
1436 // CHECK-NEXT:    3: [B1.2] = [B1.1]
1437 // CHECK-NEXT:    4: return;
1438 // CHECK-NEXT:    5: CleanupFunction (cleanup_int)
1439 // CHECK-NEXT:    6: CFGScopeEnd(i)
1440 // CHECK-NEXT:    Preds (1): B3
1441 // CHECK-NEXT:    Succs (1): B0
1442 // CHECK:      [B2]
1443 // CHECK-NEXT:    1: return;
1444 // CHECK-NEXT:    2: CleanupFunction (cleanup_int)
1445 // CHECK-NEXT:    3: CFGScopeEnd(i)
1446 // CHECK-NEXT:    Preds (1): B3
1447 // CHECK-NEXT:    Succs (1): B0
1448 // CHECK:      [B3]
1449 // CHECK-NEXT:    1: CFGScopeBegin(i)
1450 // CHECK-NEXT:    2: int i __attribute__((cleanup(cleanup_int)));
1451 // CHECK-NEXT:    3: m
1452 // CHECK-NEXT:    4: [B3.3] (ImplicitCastExpr, LValueToRValue, int)
1453 // CHECK-NEXT:    5: 1
1454 // CHECK-NEXT:    6: [B3.4] == [B3.5]
1455 // CHECK-NEXT:    T: if [B3.6]
1456 // CHECK-NEXT:    Preds (1): B4
1457 // CHECK-NEXT:    Succs (2): B2 B1
1458 void test_cleanup_functions2(int m) {
1459   int i __attribute__((cleanup(cleanup_int)));
1460
1461   if (m == 1) {
1462     return;
1463   }
1464
1465   i = 10;
1466   return;
1467 }
1468
1469 // CHECK:       [B1]
1470 // CHECK-NEXT:    1: CFGScopeBegin(f)
1471 // CHECK-NEXT:    2:  (CXXConstructExpr, [B1.3], F)
1472 // CHECK-NEXT:    3: __attribute__((cleanup(cleanup_F))) F f;
1473 // CHECK-NEXT:    4: CleanupFunction (cleanup_F)
1474 // CHECK-NEXT:    5: [B1.3].~F() (Implicit destructor)
1475 // CHECK-NEXT:    6: CFGScopeEnd(f)
1476 // CHECK-NEXT:    Preds (1): B2
1477 // CHECK-NEXT:    Succs (1): B0
1478 class F {
1479 public:
1480   ~F();
1481 };
1482 void cleanup_F(F *f);
1483
1484 void test() {
1485   F f __attribute((cleanup(cleanup_F)));
1486 }