1 // RUN: %clang_cc1 -fsyntax-only -analyze -analyzer-checker=debug.DumpCFG %s 2>&1 | FileCheck %s 2 // Check the wrapping behavior when dumping the CFG. 3 4 // CHECK: ENTRY 5 // CHECK-NEXT: Succs (1): B1 6 // CHECK: [B1] 7 // CHECK: Succs (21): B2 B3 B4 B5 B6 B7 B8 B9 8 // CHECK: B10 B11 B12 B13 B14 B15 B16 B17 B18 B19 9 // CHECK: B20 B21 B0 10 // CHECK: [B0 (EXIT)] 11 // CHECK-NEXT: Preds (21): B2 B3 B4 B5 B6 B7 B8 B9 12 // CHECK-NEXT: B10 B11 B12 B13 B14 B15 B16 B17 B18 B19 13 // CHECK-NEXT: B20 B21 B1 14 void test(int i) { 15 switch(i) { 16 case 0: break; 17 case 1: break; 18 case 2: break; 19 case 3: break; 20 case 4: break; 21 case 5: break; 22 case 6: break; 23 case 7: break; 24 case 8: break; 25 case 9: break; 26 case 10: break; 27 case 11: break; 28 case 12: break; 29 case 13: break; 30 case 14: break; 31 case 15: break; 32 case 16: break; 33 case 17: break; 34 case 18: break; 35 case 19: break; 36 } 37 } 38