| Will Dietz | dac6252 | 2013-01-07 09:51:17 +0000 | [diff] [blame] | 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 | } |