clang/test/Analysis/cfg.c

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=debug.DumpCFG -triple x86_64-apple-darwin12 -Wno-error=invalid-gnu-asm-cast %s > %t 2>&1
   2 // RUN: FileCheck --input-file=%t --check-prefix=CHECK %s
   3
   4 // This file is the C version of cfg.cpp.
   5 // Tests that are C-specific should go into this file.
   6
   7 // CHECK-LABEL: void checkWrap(int i)
   8 // CHECK: ENTRY
   9 // CHECK-NEXT: Succs (1): B1
  10 // CHECK: [B1]
  11 // CHECK: Succs (21): B2 B3 B4 B5 B6 B7 B8 B9
  12 // CHECK: B10 B11 B12 B13 B14 B15 B16 B17 B18 B19
  13 // CHECK: B20 B21 B0
  14 // CHECK: [B0 (EXIT)]
  15 // CHECK-NEXT: Preds (21): B2 B3 B4 B5 B6 B7 B8 B9
  16 // CHECK-NEXT: B10 B11 B12 B13 B14 B15 B16 B17 B18 B19
  17 // CHECK-NEXT: B20 B21 B1
  18 void checkWrap(int i) {
  19   switch(i) {
  20     case 0: break;
  21     case 1: break;
  22     case 2: break;
  23     case 3: break;
  24     case 4: break;
  25     case 5: break;
  26     case 6: break;
  27     case 7: break;
  28     case 8: break;
  29     case 9: break;
  30     case 10: break;
  31     case 11: break;
  32     case 12: break;
  33     case 13: break;
  34     case 14: break;
  35     case 15: break;
  36     case 16: break;
  37     case 17: break;
  38     case 18: break;
  39     case 19: break;
  40   }
  41 }
  42
  43 // CHECK-LABEL: void checkGCCAsmRValueOutput(void)
  44 // CHECK: [B2 (ENTRY)]
  45 // CHECK-NEXT: Succs (1): B1
  46 // CHECK: [B1]
  47 // CHECK-NEXT:   1: int arg
  48 // CHECK-NEXT:   2: arg
  49 // CHECK-NEXT:   3: (int)[B1.2] (CStyleCastExpr, NoOp, int)
  50 // CHECK-NEXT:   4: asm ("" : "=r" ([B1.3]));
  51 // CHECK-NEXT:   5: arg
  52 // CHECK-NEXT:   6: asm ("" : "=r" ([B1.5]));
  53 void checkGCCAsmRValueOutput(void) {
  54   int arg;
  55   __asm__("" : "=r"((int)arg));  // rvalue output operand
  56   __asm__("" : "=r"(arg));       // lvalue output operand
  57 }
  58
  59 // CHECK-LABEL: int overlap_compare(int x)
  60 // CHECK: [B2]
  61 // CHECK-NEXT:   1: 1
  62 // CHECK-NEXT:   2: return [B2.1];
  63 // CHECK-NEXT:   Preds (1): B3(Unreachable)
  64 // CHECK-NEXT:   Succs (1): B0
  65 // CHECK: [B3]
  66 // CHECK-NEXT:   1: x
  67 // CHECK-NEXT:   2: [B3.1] (ImplicitCastExpr, LValueToRValue, int)
  68 // CHECK-NEXT:   3: 5
  69 // CHECK-NEXT:   4: [B3.2] > [B3.3]
  70 // CHECK-NEXT:   T: if [B4.5] && [B3.4]
  71 // CHECK-NEXT:   Preds (1): B4
  72 // CHECK-NEXT:   Succs (2): B2(Unreachable) B1
  73 int overlap_compare(int x) {
  74   if (x == -1 && x > 5)
  75     return 1;
  76
  77   return 2;
  78 }
  79
  80 // CHECK-LABEL: void vla_simple(int x)
  81 // CHECK: [B1]
  82 // CHECK-NEXT:   1: x
  83 // CHECK-NEXT:   2: [B1.1] (ImplicitCastExpr, LValueToRValue, int)
  84 // CHECK-NEXT:   3: int vla[x];
  85 void vla_simple(int x) {
  86   int vla[x];
  87 }
  88
  89 // CHECK-LABEL: void vla_typedef(int x)
  90 // CHECK: [B1]
  91 // CHECK-NEXT:   1: x
  92 // CHECK-NEXT:   2: [B1.1] (ImplicitCastExpr, LValueToRValue, int)
  93 // CHECK-NEXT:   3: typedef int VLA[x];
  94 void vla_typedef(int x) {
  95   typedef int VLA[x];
  96 }
  97
  98 // CHECK-LABEL: void vla_typedef_multi(int x, int y)
  99 // CHECK:  [B1]
 100 // CHECK-NEXT:   1: y
 101 // CHECK-NEXT:   2: [B1.1] (ImplicitCastExpr, LValueToRValue, int)
 102 // CHECK-NEXT:   3: x
 103 // CHECK-NEXT:   4: [B1.3] (ImplicitCastExpr, LValueToRValue, int)
 104 // CHECK-NEXT:   5: typedef int VLA[x][y];
 105 void vla_typedef_multi(int x, int y) {
 106   typedef int VLA[x][y];
 107 }
 108
 109 // CHECK-LABEL: void vla_type_indirect(int x)
 110 // CHECK:  [B1]
 111 // CHECK-NEXT:   1: int (*p_vla)[x];
 112 // CHECK-NEXT:   2: void (*fp_vla)(int *);
 113 void vla_type_indirect(int x) {
 114   // Should evaluate x
 115   // FIXME: does not work
 116   int (*p_vla)[x];
 117
 118   // Do not evaluate x
 119   void (*fp_vla)(int[x]);
 120 }