forked from OSchip/llvm-project
38 lines
911 B
C++
38 lines
911 B
C++
|
// RUN: %clang_cc1 -fsyntax-only -analyze -analyzer-checker=debug.DumpCFG %s 2>&1 | FileCheck %s
|
||
|
|
// Check the wrapping behavior when dumping the CFG.
|
||
|
|
|
||
|
|
// CHECK: ENTRY
|
||
|
|
// CHECK-NEXT: Succs (1): B1
|
||
|
|
// CHECK: [B1]
|
||
|
|
// CHECK: Succs (21): B2 B3 B4 B5 B6 B7 B8 B9
|
||
|
|
// CHECK: B10 B11 B12 B13 B14 B15 B16 B17 B18 B19
|
||
|
|
// CHECK: B20 B21 B0
|
||
|
|
// CHECK: [B0 (EXIT)]
|
||
|
|
// CHECK-NEXT: Preds (21): B2 B3 B4 B5 B6 B7 B8 B9
|
||
|
|
// CHECK-NEXT: B10 B11 B12 B13 B14 B15 B16 B17 B18 B19
|
||
|
|
// CHECK-NEXT: B20 B21 B1
|
||
|
|
void test(int i) {
|
||
|
|
switch(i) {
|
||
|
|
case 0: break;
|
||
|
|
case 1: break;
|
||
|
|
case 2: break;
|
||
|
|
case 3: break;
|
||
|
|
case 4: break;
|
||
|
|
case 5: break;
|
||
|
|
case 6: break;
|
||
|
|
case 7: break;
|
||
|
|
case 8: break;
|
||
|
|
case 9: break;
|
||
|
|
case 10: break;
|
||
|
|
case 11: break;
|
||
|
|
case 12: break;
|
||
|
|
case 13: break;
|
||
|
|
case 14: break;
|
||
|
|
case 15: break;
|
||
|
|
case 16: break;
|
||
|
|
case 17: break;
|
||
|
|
case 18: break;
|
||
|
|
case 19: break;
|
||
|
|
}
|
||
|
|
}
|