Home | History | Annotate | Download | only in Analysis
      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