test/Analysis/auto-obj-dtors-cfg-output.cpp

   1 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -analyze -analyzer-checker=debug.DumpCFG %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 };
  29
  30 extern const bool UV;
  31
  32 // CHECK:      [B2 (ENTRY)]
  33 // CHECK-NEXT:   Succs (1): B1
  34 // CHECK:      [B1]
  35 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
  36 // CHECK-NEXT:   2: A a;
  37 // CHECK-NEXT:   3: a
  38 // CHECK-NEXT:   4: [B1.3] (ImplicitCastExpr, NoOp, const class A)
  39 // CHECK-NEXT:   5: const A &b = a;
  40 // CHECK-NEXT:   6: A() (CXXConstructExpr, class A)
  41 // CHECK-NEXT:   7: [B1.6] (BindTemporary)
  42 // CHECK-NEXT:   8: [B1.7] (ImplicitCastExpr, NoOp, const class A)
  43 // CHECK-NEXT:   9: [B1.8]
  44 // CHECK:       10: const A &c = A();
  45 // CHECK:       11: [B1.10].~A() (Implicit destructor)
  46 // CHECK:       12: [B1.2].~A() (Implicit destructor)
  47 // CHECK-NEXT:   Preds (1): B2
  48 // CHECK-NEXT:   Succs (1): B0
  49 // CHECK:      [B0 (EXIT)]
  50 // CHECK-NEXT:   Preds (1): B1
  51 void test_const_ref() {
  52   A a;
  53   const A& b = a;
  54   const A& c = A();
  55 }
  56
  57 // CHECK:      [B2 (ENTRY)]
  58 // CHECK-NEXT:   Succs (1): B1
  59 // CHECK:      [B1]
  60 // CHECK-NEXT:   1:  (CXXConstructExpr, class A [2])
  61 // CHECK-NEXT:   2: A a[2];
  62 // CHECK-NEXT:   3:  (CXXConstructExpr, class A [0])
  63 // CHECK-NEXT:   4: A b[0];
  64 // CHECK-NEXT:   5: [B1.2].~A() (Implicit destructor)
  65 // CHECK-NEXT:   Preds (1): B2
  66 // CHECK-NEXT:   Succs (1): B0
  67 // CHECK:      [B0 (EXIT)]
  68 // CHECK-NEXT:   Preds (1): B1
  69 void test_array() {
  70   A a[2];
  71   A b[0];
  72 }
  73
  74 // CHECK:      [B2 (ENTRY)]
  75 // CHECK-NEXT:   Succs (1): B1
  76 // CHECK:      [B1]
  77 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
  78 // CHECK-NEXT:   2: A a;
  79 // CHECK-NEXT:   3:  (CXXConstructExpr, class A)
  80 // CHECK-NEXT:   4: A c;
  81 // CHECK-NEXT:   5:  (CXXConstructExpr, class A)
  82 // CHECK-NEXT:   6: A d;
  83 // CHECK-NEXT:   7: [B1.6].~A() (Implicit destructor)
  84 // CHECK-NEXT:   8: [B1.4].~A() (Implicit destructor)
  85 // CHECK-NEXT:   9:  (CXXConstructExpr, class A)
  86 // CHECK:       10: A b;
  87 // CHECK:       11: [B1.10].~A() (Implicit destructor)
  88 // CHECK:       12: [B1.2].~A() (Implicit destructor)
  89 // CHECK-NEXT:   Preds (1): B2
  90 // CHECK-NEXT:   Succs (1): B0
  91 // CHECK:      [B0 (EXIT)]
  92 // CHECK-NEXT:   Preds (1): B1
  93 void test_scope() {
  94   A a;
  95   { A c;
  96     A d;
  97   }
  98   A b;
  99 }
 100
 101 // CHECK:      [B4 (ENTRY)]
 102 // CHECK-NEXT:   Succs (1): B3
 103 // CHECK:      [B1]
 104 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 105 // CHECK-NEXT:   2: A c;
 106 // CHECK-NEXT:   3: [B1.2].~A() (Implicit destructor)
 107 // CHECK-NEXT:   4: [B3.4].~A() (Implicit destructor)
 108 // CHECK-NEXT:   5: [B3.2].~A() (Implicit destructor)
 109 // CHECK-NEXT:   Preds (1): B3
 110 // CHECK-NEXT:   Succs (1): B0
 111 // CHECK:      [B2]
 112 // CHECK-NEXT:   1: return;
 113 // CHECK-NEXT:   2: [B3.4].~A() (Implicit destructor)
 114 // CHECK-NEXT:   3: [B3.2].~A() (Implicit destructor)
 115 // CHECK-NEXT:   Preds (1): B3
 116 // CHECK-NEXT:   Succs (1): B0
 117 // CHECK:      [B3]
 118 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 119 // CHECK-NEXT:   2: A a;
 120 // CHECK-NEXT:   3:  (CXXConstructExpr, class A)
 121 // CHECK-NEXT:   4: A b;
 122 // CHECK-NEXT:   5: UV
 123 // CHECK-NEXT:   6: [B3.5] (ImplicitCastExpr, LValueToRValue, _Bool)
 124 // CHECK-NEXT:   T: if [B3.6]
 125 // CHECK-NEXT:   Preds (1): B4
 126 // CHECK-NEXT:   Succs (2): B2 B1
 127 // CHECK:      [B0 (EXIT)]
 128 // CHECK-NEXT:   Preds (2): B1 B2
 129 void test_return() {
 130   A a;
 131   A b;
 132   if (UV) return;
 133   A c;
 134 }
 135
 136 // CHECK:      [B8 (ENTRY)]
 137 // CHECK-NEXT:   Succs (1): B7
 138 // CHECK:      [B1]
 139 // CHECK:       l1:
 140 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 141 // CHECK-NEXT:   2: A c;
 142 // CHECK-NEXT:   3: [B1.2].~A() (Implicit destructor)
 143 // CHECK-NEXT:   4: [B6.2].~A() (Implicit destructor)
 144 // CHECK-NEXT:   5: [B7.2].~A() (Implicit destructor)
 145 // CHECK-NEXT:   Preds (2): B2 B3
 146 // CHECK-NEXT:   Succs (1): B0
 147 // CHECK:      [B2]
 148 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 149 // CHECK-NEXT:   2: A b;
 150 // CHECK-NEXT:   3: [B2.2].~A() (Implicit destructor)
 151 // CHECK-NEXT:   4: [B6.4].~A() (Implicit destructor)
 152 // CHECK-NEXT:   Preds (1): B4
 153 // CHECK-NEXT:   Succs (1): B1
 154 // CHECK:      [B3]
 155 // CHECK-NEXT:   1: [B6.4].~A() (Implicit destructor)
 156 // CHECK-NEXT:   T: goto l1;
 157 // CHECK:        Preds (1): B4
 158 // CHECK-NEXT:   Succs (1): B1
 159 // CHECK:      [B4]
 160 // CHECK-NEXT:   1: UV
 161 // CHECK-NEXT:   2: [B4.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 162 // CHECK-NEXT:   T: if [B4.2]
 163 // CHECK-NEXT:   Preds (1): B6
 164 // CHECK-NEXT:   Succs (2): B3 B2
 165 // CHECK:      [B5]
 166 // CHECK-NEXT:   1: [B6.4].~A() (Implicit destructor)
 167 // CHECK-NEXT:   2: [B6.2].~A() (Implicit destructor)
 168 // CHECK-NEXT:   T: goto l0;
 169 // CHECK:        Preds (1): B6
 170 // CHECK-NEXT:   Succs (1): B6
 171 // CHECK:      [B6]
 172 // CHECK:       l0:
 173 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 174 // CHECK-NEXT:   2: A b;
 175 // CHECK-NEXT:   3:  (CXXConstructExpr, class A)
 176 // CHECK-NEXT:   4: A a;
 177 // CHECK-NEXT:   5: UV
 178 // CHECK-NEXT:   6: [B6.5] (ImplicitCastExpr, LValueToRValue, _Bool)
 179 // CHECK-NEXT:   T: if [B6.6]
 180 // CHECK-NEXT:   Preds (2): B7 B5
 181 // CHECK-NEXT:   Succs (2): B5 B4
 182 // CHECK:      [B7]
 183 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 184 // CHECK-NEXT:   2: A a;
 185 // CHECK-NEXT:   Preds (1): B8
 186 // CHECK-NEXT:   Succs (1): B6
 187 // CHECK:      [B0 (EXIT)]
 188 // CHECK-NEXT:   Preds (1): B1
 189 void test_goto() {
 190   A a;
 191 l0:
 192   A b;
 193   { A a;
 194     if (UV) goto l0;
 195     if (UV) goto l1;
 196     A b;
 197   }
 198 l1:
 199   A c;
 200 }
 201
 202 // CHECK:      [B5 (ENTRY)]
 203 // CHECK-NEXT:   Succs (1): B4
 204 // CHECK:      [B1]
 205 // CHECK-NEXT:   1: [B4.6].~A() (Implicit destructor)
 206 // CHECK-NEXT:   2: [B4.2].~A() (Implicit destructor)
 207 // CHECK-NEXT:   Preds (2): B2 B3
 208 // CHECK-NEXT:   Succs (1): B0
 209 // CHECK:      [B2]
 210 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 211 // CHECK-NEXT:   2: A c;
 212 // CHECK-NEXT:   3: [B2.2].~A() (Implicit destructor)
 213 // CHECK-NEXT:   Preds (1): B4
 214 // CHECK-NEXT:   Succs (1): B1
 215 // CHECK:      [B3]
 216 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 217 // CHECK-NEXT:   2: A c;
 218 // CHECK-NEXT:   3: [B3.2].~A() (Implicit destructor)
 219 // CHECK-NEXT:   Preds (1): B4
 220 // CHECK-NEXT:   Succs (1): B1
 221 // CHECK:      [B4]
 222 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 223 // CHECK-NEXT:   2: A a;
 224 // CHECK-NEXT:   3: a
 225 // CHECK-NEXT:   4: [B4.3] (ImplicitCastExpr, NoOp, const class A)
 226 // CHECK-NEXT:   5: [B4.4] (CXXConstructExpr, class A)
 227 // CHECK-NEXT:   6: A b = a;
 228 // CHECK-NEXT:   7: b
 229 // CHECK-NEXT:   8: [B4.7] (ImplicitCastExpr, NoOp, const class A)
 230 // CHECK-NEXT:   9: [B4.8].operator int
 231 // CHECK:       10: [B4.9]()
 232 // CHECK:       11: [B4.10] (ImplicitCastExpr, UserDefinedConversion, int)
 233 // CHECK:       12: [B4.11] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 234 // CHECK-NEXT:   T: if [B4.12]
 235 // CHECK-NEXT:   Preds (1): B5
 236 // CHECK-NEXT:   Succs (2): B3 B2
 237 // CHECK:      [B0 (EXIT)]
 238 // CHECK-NEXT:   Preds (1): B1
 239 void test_if_implicit_scope() {
 240   A a;
 241   if (A b = a)
 242     A c;
 243   else A c;
 244 }
 245
 246 // CHECK:      [B9 (ENTRY)]
 247 // CHECK-NEXT:   Succs (1): B8
 248 // CHECK:      [B1]
 249 // CHECK-NEXT:   1: [B8.6].~A() (Implicit destructor)
 250 // CHECK-NEXT:   2:  (CXXConstructExpr, class A)
 251 // CHECK-NEXT:   3: A e;
 252 // CHECK-NEXT:   4: [B1.3].~A() (Implicit destructor)
 253 // CHECK-NEXT:   5: [B8.2].~A() (Implicit destructor)
 254 // CHECK-NEXT:   Preds (2): B2 B5
 255 // CHECK-NEXT:   Succs (1): B0
 256 // CHECK:      [B2]
 257 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 258 // CHECK-NEXT:   2: A d;
 259 // CHECK-NEXT:   3: [B2.2].~A() (Implicit destructor)
 260 // CHECK-NEXT:   4: [B4.2].~A() (Implicit destructor)
 261 // CHECK-NEXT:   Preds (1): B4
 262 // CHECK-NEXT:   Succs (1): B1
 263 // CHECK:      [B3]
 264 // CHECK-NEXT:   1: return;
 265 // CHECK-NEXT:   2: [B4.2].~A() (Implicit destructor)
 266 // CHECK-NEXT:   3: [B8.6].~A() (Implicit destructor)
 267 // CHECK-NEXT:   4: [B8.2].~A() (Implicit destructor)
 268 // CHECK-NEXT:   Preds (1): B4
 269 // CHECK-NEXT:   Succs (1): B0
 270 // CHECK:      [B4]
 271 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 272 // CHECK-NEXT:   2: A c;
 273 // CHECK-NEXT:   3: UV
 274 // CHECK-NEXT:   4: [B4.3] (ImplicitCastExpr, LValueToRValue, _Bool)
 275 // CHECK-NEXT:   T: if [B4.4]
 276 // CHECK-NEXT:   Preds (1): B8
 277 // CHECK-NEXT:   Succs (2): B3 B2
 278 // CHECK:      [B5]
 279 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 280 // CHECK-NEXT:   2: A d;
 281 // CHECK-NEXT:   3: [B5.2].~A() (Implicit destructor)
 282 // CHECK-NEXT:   4: [B7.2].~A() (Implicit destructor)
 283 // CHECK-NEXT:   Preds (1): B7
 284 // CHECK-NEXT:   Succs (1): B1
 285 // CHECK:      [B6]
 286 // CHECK-NEXT:   1: return;
 287 // CHECK-NEXT:   2: [B7.2].~A() (Implicit destructor)
 288 // CHECK-NEXT:   3: [B8.6].~A() (Implicit destructor)
 289 // CHECK-NEXT:   4: [B8.2].~A() (Implicit destructor)
 290 // CHECK-NEXT:   Preds (1): B7
 291 // CHECK-NEXT:   Succs (1): B0
 292 // CHECK:      [B7]
 293 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 294 // CHECK-NEXT:   2: A c;
 295 // CHECK-NEXT:   3: UV
 296 // CHECK-NEXT:   4: [B7.3] (ImplicitCastExpr, LValueToRValue, _Bool)
 297 // CHECK-NEXT:   T: if [B7.4]
 298 // CHECK-NEXT:   Preds (1): B8
 299 // CHECK-NEXT:   Succs (2): B6 B5
 300 // CHECK:      [B8]
 301 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 302 // CHECK-NEXT:   2: A a;
 303 // CHECK-NEXT:   3: a
 304 // CHECK-NEXT:   4: [B8.3] (ImplicitCastExpr, NoOp, const class A)
 305 // CHECK-NEXT:   5: [B8.4] (CXXConstructExpr, class A)
 306 // CHECK-NEXT:   6: A b = a;
 307 // CHECK-NEXT:   7: b
 308 // CHECK-NEXT:   8: [B8.7] (ImplicitCastExpr, NoOp, const class A)
 309 // CHECK-NEXT:   9: [B8.8].operator int
 310 // CHECK:       10: [B8.9]()
 311 // CHECK:       11: [B8.10] (ImplicitCastExpr, UserDefinedConversion, int)
 312 // CHECK:       12: [B8.11] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 313 // CHECK-NEXT:   T: if [B8.12]
 314 // CHECK-NEXT:   Preds (1): B9
 315 // CHECK-NEXT:   Succs (2): B7 B4
 316 // CHECK:      [B0 (EXIT)]
 317 // CHECK-NEXT:   Preds (3): B1 B3 B6
 318 void test_if_jumps() {
 319   A a;
 320   if (A b = a) {
 321     A c;
 322     if (UV) return;
 323     A d;
 324   } else {
 325     A c;
 326     if (UV) return;
 327     A d;
 328   }
 329   A e;
 330 }
 331
 332 // CHECK:      [B6 (ENTRY)]
 333 // CHECK-NEXT:   Succs (1): B5
 334 // CHECK:      [B1]
 335 // CHECK-NEXT:   1: [B4.4].~A() (Implicit destructor)
 336 // CHECK-NEXT:   2: [B5.2].~A() (Implicit destructor)
 337 // CHECK-NEXT:   Preds (1): B4
 338 // CHECK-NEXT:   Succs (1): B0
 339 // CHECK:      [B2]
 340 // CHECK-NEXT:   Preds (1): B3
 341 // CHECK-NEXT:   Succs (1): B4
 342 // CHECK:      [B3]
 343 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 344 // CHECK-NEXT:   2: A c;
 345 // CHECK-NEXT:   3: [B3.2].~A() (Implicit destructor)
 346 // CHECK-NEXT:   4: [B4.4].~A() (Implicit destructor)
 347 // CHECK-NEXT:   Preds (1): B4
 348 // CHECK-NEXT:   Succs (1): B2
 349 // CHECK:      [B4]
 350 // CHECK-NEXT:   1: a
 351 // CHECK-NEXT:   2: [B4.1] (ImplicitCastExpr, NoOp, const class A)
 352 // CHECK-NEXT:   3: [B4.2] (CXXConstructExpr, class A)
 353 // CHECK-NEXT:   4: A b = a;
 354 // CHECK-NEXT:   5: b
 355 // CHECK-NEXT:   6: [B4.5] (ImplicitCastExpr, NoOp, const class A)
 356 // CHECK-NEXT:   7: [B4.6].operator int
 357 // CHECK-NEXT:   8: [B4.7]()
 358 // CHECK-NEXT:   9: [B4.8] (ImplicitCastExpr, UserDefinedConversion, int)
 359 // CHECK:       10: [B4.9] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 360 // CHECK-NEXT:   T: while [B4.10]
 361 // CHECK-NEXT:   Preds (2): B2 B5
 362 // CHECK-NEXT:   Succs (2): B3 B1
 363 // CHECK:      [B5]
 364 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 365 // CHECK-NEXT:   2: A a;
 366 // CHECK-NEXT:   Preds (1): B6
 367 // CHECK-NEXT:   Succs (1): B4
 368 // CHECK:      [B0 (EXIT)]
 369 // CHECK-NEXT:   Preds (1): B1
 370 void test_while_implicit_scope() {
 371   A a;
 372   while (A b = a)
 373     A c;
 374 }
 375
 376 // CHECK:      [B12 (ENTRY)]
 377 // CHECK-NEXT:   Succs (1): B11
 378 // CHECK:      [B1]
 379 // CHECK-NEXT:   1: [B10.4].~A() (Implicit destructor)
 380 // CHECK-NEXT:   2:  (CXXConstructExpr, class A)
 381 // CHECK-NEXT:   3: A e;
 382 // CHECK-NEXT:   4: [B1.3].~A() (Implicit destructor)
 383 // CHECK-NEXT:   5: [B11.2].~A() (Implicit destructor)
 384 // CHECK-NEXT:   Preds (2): B8 B10
 385 // CHECK-NEXT:   Succs (1): B0
 386 // CHECK:      [B2]
 387 // CHECK-NEXT:   Preds (2): B3 B6
 388 // CHECK-NEXT:   Succs (1): B10
 389 // CHECK:      [B3]
 390 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 391 // CHECK-NEXT:   2: A d;
 392 // CHECK-NEXT:   3: [B3.2].~A() (Implicit destructor)
 393 // CHECK-NEXT:   4: [B9.2].~A() (Implicit destructor)
 394 // CHECK-NEXT:   5: [B10.4].~A() (Implicit destructor)
 395 // CHECK-NEXT:   Preds (1): B5
 396 // CHECK-NEXT:   Succs (1): B2
 397 // CHECK:      [B4]
 398 // CHECK-NEXT:   1: return;
 399 // CHECK-NEXT:   2: [B9.2].~A() (Implicit destructor)
 400 // CHECK-NEXT:   3: [B10.4].~A() (Implicit destructor)
 401 // CHECK-NEXT:   4: [B11.2].~A() (Implicit destructor)
 402 // CHECK-NEXT:   Preds (1): B5
 403 // CHECK-NEXT:   Succs (1): B0
 404 // CHECK:      [B5]
 405 // CHECK-NEXT:   1: UV
 406 // CHECK-NEXT:   2: [B5.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 407 // CHECK-NEXT:   T: if [B5.2]
 408 // CHECK-NEXT:   Preds (1): B7
 409 // CHECK-NEXT:   Succs (2): B4 B3
 410 // CHECK:      [B6]
 411 // CHECK-NEXT:   1: [B9.2].~A() (Implicit destructor)
 412 // CHECK-NEXT:   2: [B10.4].~A() (Implicit destructor)
 413 // CHECK-NEXT:   T: continue;
 414 // CHECK:        Preds (1): B7
 415 // CHECK-NEXT:   Succs (1): B2
 416 // CHECK:      [B7]
 417 // CHECK-NEXT:   1: UV
 418 // CHECK-NEXT:   2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 419 // CHECK-NEXT:   T: if [B7.2]
 420 // CHECK-NEXT:   Preds (1): B9
 421 // CHECK-NEXT:   Succs (2): B6 B5
 422 // CHECK:      [B8]
 423 // CHECK-NEXT:   1: [B9.2].~A() (Implicit destructor)
 424 // CHECK-NEXT:   T: break;
 425 // CHECK:        Preds (1): B9
 426 // CHECK-NEXT:   Succs (1): B1
 427 // CHECK:      [B9]
 428 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 429 // CHECK-NEXT:   2: A c;
 430 // CHECK-NEXT:   3: UV
 431 // CHECK-NEXT:   4: [B9.3] (ImplicitCastExpr, LValueToRValue, _Bool)
 432 // CHECK-NEXT:   T: if [B9.4]
 433 // CHECK-NEXT:   Preds (1): B10
 434 // CHECK-NEXT:   Succs (2): B8 B7
 435 // CHECK:      [B10]
 436 // CHECK-NEXT:   1: a
 437 // CHECK-NEXT:   2: [B10.1] (ImplicitCastExpr, NoOp, const class A)
 438 // CHECK-NEXT:   3: [B10.2] (CXXConstructExpr, class A)
 439 // CHECK-NEXT:   4: A b = a;
 440 // CHECK-NEXT:   5: b
 441 // CHECK-NEXT:   6: [B10.5] (ImplicitCastExpr, NoOp, const class A)
 442 // CHECK-NEXT:   7: [B10.6].operator int
 443 // CHECK-NEXT:   8: [B10.7]()
 444 // CHECK-NEXT:   9: [B10.8] (ImplicitCastExpr, UserDefinedConversion, int)
 445 // CHECK:       10: [B10.9] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 446 // CHECK-NEXT:   T: while [B10.10]
 447 // CHECK-NEXT:   Preds (2): B2 B11
 448 // CHECK-NEXT:   Succs (2): B9 B1
 449 // CHECK:      [B11]
 450 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 451 // CHECK-NEXT:   2: A a;
 452 // CHECK-NEXT:   Preds (1): B12
 453 // CHECK-NEXT:   Succs (1): B10
 454 // CHECK:      [B0 (EXIT)]
 455 // CHECK-NEXT:   Preds (2): B1 B4
 456 void test_while_jumps() {
 457   A a;
 458   while (A b = a) {
 459     A c;
 460     if (UV) break;
 461     if (UV) continue;
 462     if (UV) return;
 463     A d;
 464   }
 465   A e;
 466 }
 467
 468 // CHECK:      [B4 (ENTRY)]
 469 // CHECK-NEXT:   Succs (1): B2
 470 // CHECK:      [B1]
 471 // CHECK-NEXT:   1: UV
 472 // CHECK-NEXT:   2: [B1.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 473 // CHECK-NEXT:   T: do ... while [B1.2]
 474 // CHECK-NEXT:   Preds (1): B2
 475 // CHECK-NEXT:   Succs (2): B3 B0
 476 // CHECK:      [B2]
 477 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 478 // CHECK-NEXT:   2: A a;
 479 // CHECK-NEXT:   3: [B2.2].~A() (Implicit destructor)
 480 // CHECK-NEXT:   Preds (2): B3 B4
 481 // CHECK-NEXT:   Succs (1): B1
 482 // CHECK:      [B3]
 483 // CHECK-NEXT:   Preds (1): B1
 484 // CHECK-NEXT:   Succs (1): B2
 485 // CHECK:      [B0 (EXIT)]
 486 // CHECK-NEXT:   Preds (1): B1
 487 void test_do_implicit_scope() {
 488   do A a;
 489   while (UV);
 490 }
 491
 492 // CHECK:      [B12 (ENTRY)]
 493 // CHECK-NEXT:   Succs (1): B11
 494 // CHECK:      [B1]
 495 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 496 // CHECK-NEXT:   2: A d;
 497 // CHECK-NEXT:   3: [B1.2].~A() (Implicit destructor)
 498 // CHECK-NEXT:   4: [B11.2].~A() (Implicit destructor)
 499 // CHECK-NEXT:   Preds (2): B8 B2
 500 // CHECK-NEXT:   Succs (1): B0
 501 // CHECK:      [B2]
 502 // CHECK-NEXT:   1: UV
 503 // CHECK-NEXT:   2: [B2.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 504 // CHECK-NEXT:   T: do ... while [B2.2]
 505 // CHECK-NEXT:   Preds (2): B3 B6
 506 // CHECK-NEXT:   Succs (2): B10 B1
 507 // CHECK:      [B3]
 508 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 509 // CHECK-NEXT:   2: A c;
 510 // CHECK-NEXT:   3: [B3.2].~A() (Implicit destructor)
 511 // CHECK-NEXT:   4: [B9.2].~A() (Implicit destructor)
 512 // CHECK-NEXT:   Preds (1): B5
 513 // CHECK-NEXT:   Succs (1): B2
 514 // CHECK:      [B4]
 515 // CHECK-NEXT:   1: return;
 516 // CHECK-NEXT:   2: [B9.2].~A() (Implicit destructor)
 517 // CHECK-NEXT:   3: [B11.2].~A() (Implicit destructor)
 518 // CHECK-NEXT:   Preds (1): B5
 519 // CHECK-NEXT:   Succs (1): B0
 520 // CHECK:      [B5]
 521 // CHECK-NEXT:   1: UV
 522 // CHECK-NEXT:   2: [B5.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 523 // CHECK-NEXT:   T: if [B5.2]
 524 // CHECK-NEXT:   Preds (1): B7
 525 // CHECK-NEXT:   Succs (2): B4 B3
 526 // CHECK:      [B6]
 527 // CHECK-NEXT:   1: [B9.2].~A() (Implicit destructor)
 528 // CHECK-NEXT:   T: continue;
 529 // CHECK:        Preds (1): B7
 530 // CHECK-NEXT:   Succs (1): B2
 531 // CHECK:      [B7]
 532 // CHECK-NEXT:   1: UV
 533 // CHECK-NEXT:   2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 534 // CHECK-NEXT:   T: if [B7.2]
 535 // CHECK-NEXT:   Preds (1): B9
 536 // CHECK-NEXT:   Succs (2): B6 B5
 537 // CHECK:      [B8]
 538 // CHECK-NEXT:   1: [B9.2].~A() (Implicit destructor)
 539 // CHECK-NEXT:   T: break;
 540 // CHECK:        Preds (1): B9
 541 // CHECK-NEXT:   Succs (1): B1
 542 // CHECK:      [B9]
 543 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 544 // CHECK-NEXT:   2: A b;
 545 // CHECK-NEXT:   3: UV
 546 // CHECK-NEXT:   4: [B9.3] (ImplicitCastExpr, LValueToRValue, _Bool)
 547 // CHECK-NEXT:   T: if [B9.4]
 548 // CHECK-NEXT:   Preds (2): B10 B11
 549 // CHECK-NEXT:   Succs (2): B8 B7
 550 // CHECK:      [B10]
 551 // CHECK-NEXT:   Preds (1): B2
 552 // CHECK-NEXT:   Succs (1): B9
 553 // CHECK:      [B11]
 554 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 555 // CHECK-NEXT:   2: A a;
 556 // CHECK-NEXT:   Preds (1): B12
 557 // CHECK-NEXT:   Succs (1): B9
 558 // CHECK:      [B0 (EXIT)]
 559 // CHECK-NEXT:   Preds (2): B1 B4
 560 void test_do_jumps() {
 561   A a;
 562   do {
 563     A b;
 564     if (UV) break;
 565     if (UV) continue;
 566     if (UV) return;
 567     A c;
 568   } while (UV);
 569   A d;
 570 }
 571
 572 // CHECK:      [B4 (ENTRY)]
 573 // CHECK-NEXT:   Succs (1): B2
 574 // CHECK:      [B1]
 575 // CHECK-NEXT:   1: [B2.6].~A() (Implicit destructor)
 576 // CHECK-NEXT:   2: [B2.2].~A() (Implicit destructor)
 577 // CHECK-NEXT:   Preds (2): B3 B2
 578 // CHECK-NEXT:   Succs (1): B0
 579 // CHECK:      [B2]
 580 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 581 // CHECK-NEXT:   2: A a;
 582 // CHECK-NEXT:   3: a
 583 // CHECK-NEXT:   4: [B2.3] (ImplicitCastExpr, NoOp, const class A)
 584 // CHECK-NEXT:   5: [B2.4] (CXXConstructExpr, class A)
 585 // CHECK-NEXT:   6: A b = a;
 586 // CHECK-NEXT:   7: b
 587 // CHECK-NEXT:   8: [B2.7] (ImplicitCastExpr, NoOp, const class A)
 588 // CHECK-NEXT:   9: [B2.8].operator int
 589 // CHECK:       10: [B2.9]()
 590 // CHECK:       11: [B2.10] (ImplicitCastExpr, UserDefinedConversion, int)
 591 // CHECK-NEXT:   T: switch [B2.11]
 592 // CHECK-NEXT:   Preds (1): B4
 593 // CHECK-NEXT:   Succs (1): B1
 594 // CHECK:      [B3]
 595 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 596 // CHECK-NEXT:   2: A c;
 597 // CHECK-NEXT:   3: [B3.2].~A() (Implicit destructor)
 598 // CHECK-NEXT:   Succs (1): B1
 599 // CHECK:      [B0 (EXIT)]
 600 // CHECK-NEXT:   Preds (1): B1
 601 void test_switch_implicit_scope() {
 602   A a;
 603   switch (A b = a)
 604     A c;
 605 }
 606
 607 // CHECK:      [B9 (ENTRY)]
 608 // CHECK-NEXT:   Succs (1): B2
 609 // CHECK:      [B1]
 610 // CHECK-NEXT:   1: [B2.6].~A() (Implicit destructor)
 611 // CHECK-NEXT:   2:  (CXXConstructExpr, class A)
 612 // CHECK-NEXT:   3: A g;
 613 // CHECK-NEXT:   4: [B1.3].~A() (Implicit destructor)
 614 // CHECK-NEXT:   5: [B2.2].~A() (Implicit destructor)
 615 // CHECK-NEXT:   Preds (3): B3 B7 B2
 616 // CHECK-NEXT:   Succs (1): B0
 617 // CHECK:      [B2]
 618 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 619 // CHECK-NEXT:   2: A a;
 620 // CHECK-NEXT:   3: a
 621 // CHECK-NEXT:   4: [B2.3] (ImplicitCastExpr, NoOp, const class A)
 622 // CHECK-NEXT:   5: [B2.4] (CXXConstructExpr, class A)
 623 // CHECK-NEXT:   6: A b = a;
 624 // CHECK-NEXT:   7: b
 625 // CHECK-NEXT:   8: [B2.7] (ImplicitCastExpr, NoOp, const class A)
 626 // CHECK-NEXT:   9: [B2.8].operator int
 627 // CHECK:       10: [B2.9]()
 628 // CHECK:       11: [B2.10] (ImplicitCastExpr, UserDefinedConversion, int)
 629 // CHECK-NEXT:   T: switch [B2.11]
 630 // CHECK-NEXT:   Preds (1): B9
 631 // CHECK-NEXT:   Succs (3): B3 B8 B1
 632 // CHECK:      [B3]
 633 // CHECK:       case 1:
 634 // CHECK-NEXT:   T: break;
 635 // CHECK:        Preds (2): B2 B4
 636 // CHECK-NEXT:   Succs (1): B1
 637 // CHECK:      [B4]
 638 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 639 // CHECK-NEXT:   2: A f;
 640 // CHECK-NEXT:   3: [B4.2].~A() (Implicit destructor)
 641 // CHECK-NEXT:   4: [B8.2].~A() (Implicit destructor)
 642 // CHECK-NEXT:   Preds (1): B6
 643 // CHECK-NEXT:   Succs (1): B3
 644 // CHECK:      [B5]
 645 // CHECK-NEXT:   1: return;
 646 // CHECK-NEXT:   2: [B8.2].~A() (Implicit destructor)
 647 // CHECK-NEXT:   3: [B2.6].~A() (Implicit destructor)
 648 // CHECK-NEXT:   4: [B2.2].~A() (Implicit destructor)
 649 // CHECK-NEXT:   Preds (1): B6
 650 // CHECK-NEXT:   Succs (1): B0
 651 // CHECK:      [B6]
 652 // CHECK-NEXT:   1: UV
 653 // CHECK-NEXT:   2: [B6.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 654 // CHECK-NEXT:   T: if [B6.2]
 655 // CHECK-NEXT:   Preds (1): B8
 656 // CHECK-NEXT:   Succs (2): B5 B4
 657 // CHECK:      [B7]
 658 // CHECK-NEXT:   1: [B8.2].~A() (Implicit destructor)
 659 // CHECK-NEXT:   T: break;
 660 // CHECK:        Preds (1): B8
 661 // CHECK-NEXT:   Succs (1): B1
 662 // CHECK:      [B8]
 663 // CHECK:       case 0:
 664 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 665 // CHECK-NEXT:   2: A c;
 666 // CHECK-NEXT:   3: UV
 667 // CHECK-NEXT:   4: [B8.3] (ImplicitCastExpr, LValueToRValue, _Bool)
 668 // CHECK-NEXT:   T: if [B8.4]
 669 // CHECK-NEXT:   Preds (1): B2
 670 // CHECK-NEXT:   Succs (2): B7 B6
 671 // CHECK:      [B0 (EXIT)]
 672 // CHECK-NEXT:   Preds (2): B1 B5
 673 void test_switch_jumps() {
 674   A a;
 675   switch (A b = a) {
 676   case 0: {
 677     A c;
 678     if (UV) break;
 679     if (UV) return;
 680     A f;
 681   }
 682   case 1:
 683     break;
 684   }
 685   A g;
 686 }
 687
 688 // CHECK:      [B6 (ENTRY)]
 689 // CHECK-NEXT:   Succs (1): B5
 690 // CHECK:      [B1]
 691 // CHECK-NEXT:   1: [B4.4].~A() (Implicit destructor)
 692 // CHECK-NEXT:   2: [B5.2].~A() (Implicit destructor)
 693 // CHECK-NEXT:   Preds (1): B4
 694 // CHECK-NEXT:   Succs (1): B0
 695 // CHECK:      [B2]
 696 // CHECK-NEXT:   Preds (1): B3
 697 // CHECK-NEXT:   Succs (1): B4
 698 // CHECK:      [B3]
 699 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 700 // CHECK-NEXT:   2: A c;
 701 // CHECK-NEXT:   3: [B3.2].~A() (Implicit destructor)
 702 // CHECK-NEXT:   4: [B4.4].~A() (Implicit destructor)
 703 // CHECK-NEXT:   Preds (1): B4
 704 // CHECK-NEXT:   Succs (1): B2
 705 // CHECK:      [B4]
 706 // CHECK-NEXT:   1: a
 707 // CHECK-NEXT:   2: [B4.1] (ImplicitCastExpr, NoOp, const class A)
 708 // CHECK-NEXT:   3: [B4.2] (CXXConstructExpr, class A)
 709 // CHECK-NEXT:   4: A b = a;
 710 // CHECK-NEXT:   5: b
 711 // CHECK-NEXT:   6: [B4.5] (ImplicitCastExpr, NoOp, const class A)
 712 // CHECK-NEXT:   7: [B4.6].operator int
 713 // CHECK-NEXT:   8: [B4.7]()
 714 // CHECK-NEXT:   9: [B4.8] (ImplicitCastExpr, UserDefinedConversion, int)
 715 // CHECK:       10: [B4.9] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 716 // CHECK-NEXT:   T: for (...; [B4.10]; )
 717 // CHECK-NEXT:   Preds (2): B2 B5
 718 // CHECK-NEXT:   Succs (2): B3 B1
 719 // CHECK:      [B5]
 720 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 721 // CHECK-NEXT:   2: A a;
 722 // CHECK-NEXT:   Preds (1): B6
 723 // CHECK-NEXT:   Succs (1): B4
 724 // CHECK:      [B0 (EXIT)]
 725 // CHECK-NEXT:   Preds (1): B1
 726 void test_for_implicit_scope() {
 727   for (A a; A b = a; )
 728     A c;
 729 }
 730
 731 // CHECK:      [B12 (ENTRY)]
 732 // CHECK-NEXT:   Succs (1): B11
 733 // CHECK:      [B1]
 734 // CHECK-NEXT:   1: [B10.4].~A() (Implicit destructor)
 735 // CHECK-NEXT:   2: [B11.4].~A() (Implicit destructor)
 736 // CHECK-NEXT:   3:  (CXXConstructExpr, class A)
 737 // CHECK-NEXT:   4: A f;
 738 // CHECK-NEXT:   5: [B1.4].~A() (Implicit destructor)
 739 // CHECK-NEXT:   6: [B11.2].~A() (Implicit destructor)
 740 // CHECK-NEXT:   Preds (2): B8 B10
 741 // CHECK-NEXT:   Succs (1): B0
 742 // CHECK:      [B2]
 743 // CHECK-NEXT:   Preds (2): B3 B6
 744 // CHECK-NEXT:   Succs (1): B10
 745 // CHECK:      [B3]
 746 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 747 // CHECK-NEXT:   2: A e;
 748 // CHECK-NEXT:   3: [B3.2].~A() (Implicit destructor)
 749 // CHECK-NEXT:   4: [B9.2].~A() (Implicit destructor)
 750 // CHECK-NEXT:   5: [B10.4].~A() (Implicit destructor)
 751 // CHECK-NEXT:   Preds (1): B5
 752 // CHECK-NEXT:   Succs (1): B2
 753 // CHECK:      [B4]
 754 // CHECK-NEXT:   1: return;
 755 // CHECK-NEXT:   2: [B9.2].~A() (Implicit destructor)
 756 // CHECK-NEXT:   3: [B10.4].~A() (Implicit destructor)
 757 // CHECK-NEXT:   4: [B11.4].~A() (Implicit destructor)
 758 // CHECK-NEXT:   5: [B11.2].~A() (Implicit destructor)
 759 // CHECK-NEXT:   Preds (1): B5
 760 // CHECK-NEXT:   Succs (1): B0
 761 // CHECK:      [B5]
 762 // CHECK-NEXT:   1: UV
 763 // CHECK-NEXT:   2: [B5.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 764 // CHECK-NEXT:   T: if [B5.2]
 765 // CHECK-NEXT:   Preds (1): B7
 766 // CHECK-NEXT:   Succs (2): B4 B3
 767 // CHECK:      [B6]
 768 // CHECK-NEXT:   1: [B9.2].~A() (Implicit destructor)
 769 // CHECK-NEXT:   T: continue;
 770 // CHECK:        Preds (1): B7
 771 // CHECK-NEXT:   Succs (1): B2
 772 // CHECK:      [B7]
 773 // CHECK-NEXT:   1: UV
 774 // CHECK-NEXT:   2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)
 775 // CHECK-NEXT:   T: if [B7.2]
 776 // CHECK-NEXT:   Preds (1): B9
 777 // CHECK-NEXT:   Succs (2): B6 B5
 778 // CHECK:      [B8]
 779 // CHECK-NEXT:   1: [B9.2].~A() (Implicit destructor)
 780 // CHECK-NEXT:   T: break;
 781 // CHECK:        Preds (1): B9
 782 // CHECK-NEXT:   Succs (1): B1
 783 // CHECK:      [B9]
 784 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 785 // CHECK-NEXT:   2: A d;
 786 // CHECK-NEXT:   3: UV
 787 // CHECK-NEXT:   4: [B9.3] (ImplicitCastExpr, LValueToRValue, _Bool)
 788 // CHECK-NEXT:   T: if [B9.4]
 789 // CHECK-NEXT:   Preds (1): B10
 790 // CHECK-NEXT:   Succs (2): B8 B7
 791 // CHECK:      [B10]
 792 // CHECK-NEXT:   1: b
 793 // CHECK-NEXT:   2: [B10.1] (ImplicitCastExpr, NoOp, const class A)
 794 // CHECK-NEXT:   3: [B10.2] (CXXConstructExpr, class A)
 795 // CHECK-NEXT:   4: A c = b;
 796 // CHECK-NEXT:   5: c
 797 // CHECK-NEXT:   6: [B10.5] (ImplicitCastExpr, NoOp, const class A)
 798 // CHECK-NEXT:   7: [B10.6].operator int
 799 // CHECK-NEXT:   8: [B10.7]()
 800 // CHECK-NEXT:   9: [B10.8] (ImplicitCastExpr, UserDefinedConversion, int)
 801 // CHECK:       10: [B10.9] (ImplicitCastExpr, IntegralToBoolean, _Bool)
 802 // CHECK-NEXT:   T: for (...; [B10.10]; )
 803 // CHECK-NEXT:   Preds (2): B2 B11
 804 // CHECK-NEXT:   Succs (2): B9 B1
 805 // CHECK:      [B11]
 806 // CHECK-NEXT:   1:  (CXXConstructExpr, class A)
 807 // CHECK-NEXT:   2: A a;
 808 // CHECK-NEXT:   3:  (CXXConstructExpr, class A)
 809 // CHECK-NEXT:   4: A b;
 810 // CHECK-NEXT:   Preds (1): B12
 811 // CHECK-NEXT:   Succs (1): B10
 812 // CHECK:      [B0 (EXIT)]
 813 // CHECK-NEXT:   Preds (2): B1 B4
 814 void test_for_jumps() {
 815   A a;
 816   for (A b; A c = b; ) {
 817     A d;
 818     if (UV) break;
 819     if (UV) continue;
 820     if (UV) return;
 821     A e;
 822   }
 823   A f;
 824 }
 825
 826 // CHECK:      [B3 (ENTRY)]
 827 // CHECK-NEXT:   Succs (1): B0
 828 // CHECK:      [B1]
 829 // CHECK-NEXT:   T: try ...
 830 // CHECK-NEXT:   Succs (2): B2 B0
 831 // CHECK:      [B2]
 832 // CHECK-NEXT:  catch (const A &e):
 833 // CHECK-NEXT:   1: catch (const A &e) {
 834 // CHECK-NEXT:  }
 835 // CHECK-NEXT:   Preds (1): B1
 836 // CHECK-NEXT:   Succs (1): B0
 837 // CHECK:      [B0 (EXIT)]
 838 // CHECK-NEXT:   Preds (3): B2 B1 B3
 839 void test_catch_const_ref() {
 840   try {
 841   } catch (const A& e) {
 842   }
 843 }
 844
 845 // CHECK:      [B3 (ENTRY)]
 846 // CHECK-NEXT:   Succs (1): B0
 847 // CHECK:      [B1]
 848 // CHECK-NEXT:   T: try ...
 849 // CHECK-NEXT:   Succs (2): B2 B0
 850 // CHECK:      [B2]
 851 // CHECK-NEXT:  catch (A e):
 852 // CHECK-NEXT:   1: catch (A e) {
 853 // CHECK-NEXT:  }
 854 // CHECK-NEXT:   2: [B2.1].~A() (Implicit destructor)
 855 // CHECK-NEXT:   Preds (1): B1
 856 // CHECK-NEXT:   Succs (1): B0
 857 // CHECK:      [B0 (EXIT)]
 858 // CHECK-NEXT:   Preds (3): B2 B1 B3
 859 void test_catch_copy() {
 860   try {
 861   } catch (A e) {
 862   }
 863 }