clang/test/Analysis/live-stmts.cpp

   1 // RUN: %clang_analyze_cc1 -w -analyzer-checker=debug.DumpLiveExprs %s 2>&1\
   2 // RUN:   | FileCheck %s
   3
   4 int coin();
   5
   6
   7 int testThatDumperWorks(int x, int y, int z) {
   8   return x ? y : z;
   9 }
  10
  11 // [B5 (ENTRY)]
  12 //    |
  13 //    V
  14 // [B4 (x)] ? [B2 (y)] : [B3 (z)]
  15 //                \        /
  16 //                 ---|----
  17 //                    V
  18 //                   [B1] --> [B0 (EXIT)]
  19 //                  return
  20
  21 // CHECK: [ B0 (live expressions at block exit) ]
  22 // CHECK-EMPTY:
  23 // CHECK-EMPTY:
  24 // CHECK: [ B1 (live expressions at block exit) ]
  25 // CHECK-EMPTY:
  26 // CHECK-EMPTY:
  27 // CHECK: [ B2 (live expressions at block exit) ]
  28 // CHECK-EMPTY:
  29 // CHECK-NEXT: DeclRefExpr {{.*}} 'y' 'int'
  30 // CHECK-EMPTY:
  31 // CHECK-NEXT: DeclRefExpr {{.*}} 'z' 'int'
  32 // CHECK-EMPTY:
  33 // CHECK-NEXT: ImplicitCastExpr {{.*}} <IntegralToBoolean>
  34 // CHECK-NEXT: `-ImplicitCastExpr {{.*}} <LValueToRValue>
  35 // CHECK-NEXT:   `-DeclRefExpr {{.*}} 'x' 'int'
  36 // CHECK-EMPTY:
  37 // CHECK-EMPTY:
  38 // CHECK: [ B3 (live expressions at block exit) ]
  39 // CHECK-EMPTY:
  40 // CHECK-NEXT: DeclRefExpr {{.*}} 'y' 'int'
  41 // CHECK-EMPTY:
  42 // CHECK-NEXT: DeclRefExpr {{.*}} 'z' 'int'
  43 // CHECK-EMPTY:
  44 // CHECK-NEXT: ImplicitCastExpr {{.*}} <IntegralToBoolean>
  45 // CHECK-NEXT: `-ImplicitCastExpr {{.*}} <LValueToRValue>
  46 // CHECK-NEXT:   `-DeclRefExpr {{.*}} 'x' 'int'
  47 // CHECK: [ B4 (live expressions at block exit) ]
  48 // CHECK-EMPTY:
  49 // CHECK-NEXT: DeclRefExpr {{.*}} 'y' 'int'
  50 // CHECK-EMPTY:
  51 // CHECK-NEXT: DeclRefExpr {{.*}} 'z' 'int'
  52 // CHECK-EMPTY:
  53 // CHECK-NEXT: ImplicitCastExpr {{.*}} <IntegralToBoolean>
  54 // CHECK-NEXT: `-ImplicitCastExpr {{.*}} <LValueToRValue>
  55 // CHECK-NEXT:   `-DeclRefExpr {{.*}} 'x' 'int'
  56 // CHECK-EMPTY:
  57 // CHECK-EMPTY:
  58 // CHECK: [ B5 (live expressions at block exit) ]
  59 // CHECK-EMPTY:
  60 // CHECK-NEXT: DeclRefExpr {{.*}} 'y' 'int'
  61 // CHECK-EMPTY:
  62 // CHECK-NEXT: DeclRefExpr {{.*}} 'z' 'int'
  63 // CHECK-EMPTY:
  64 // CHECK-EMPTY:
  65
  66
  67 void testIfBranchExpression(bool flag) {
  68   // No expressions should be carried over from one block to another here.
  69   while (flag) {
  70     int e = 1;
  71     if (true)
  72       e;
  73   }
  74 }
  75 // CHECK: [ B0 (live expressions at block exit) ]
  76 // CHECK-EMPTY:
  77 // CHECK-EMPTY:
  78 // CHECK: [ B1 (live expressions at block exit) ]
  79 // CHECK-EMPTY:
  80 // CHECK-EMPTY:
  81 // CHECK: [ B2 (live expressions at block exit) ]
  82 // CHECK-EMPTY:
  83 // CHECK-EMPTY:
  84 // CHECK: [ B3 (live expressions at block exit) ]
  85 // CHECK-EMPTY:
  86 // CHECK-EMPTY:
  87 // CHECK: [ B4 (live expressions at block exit) ]
  88 // CHECK-EMPTY:
  89 // CHECK-EMPTY:
  90 // CHECK: [ B5 (live expressions at block exit) ]
  91 // CHECK-EMPTY:
  92 // CHECK-EMPTY:
  93
  94
  95 void testWhileBodyExpression(bool flag) {
  96   // No expressions should be carried over from one block to another here.
  97   while (flag) {
  98     int e = 1;
  99     while (coin())
 100       e;
 101   }
 102 }
 103 // CHECK: [ B0 (live expressions at block exit) ]
 104 // CHECK-EMPTY:
 105 // CHECK-EMPTY:
 106 // CHECK: [ B1 (live expressions at block exit) ]
 107 // CHECK-EMPTY:
 108 // CHECK-EMPTY:
 109 // CHECK: [ B2 (live expressions at block exit) ]
 110 // CHECK-EMPTY:
 111 // CHECK-EMPTY:
 112 // CHECK: [ B3 (live expressions at block exit) ]
 113 // CHECK-EMPTY:
 114 // CHECK-EMPTY:
 115 // CHECK: [ B4 (live expressions at block exit) ]
 116 // CHECK-EMPTY:
 117 // CHECK-EMPTY:
 118 // CHECK: [ B5 (live expressions at block exit) ]
 119 // CHECK-EMPTY:
 120 // CHECK-EMPTY:
 121
 122
 123 void testDoWhileBodyExpression(bool flag) {
 124   // No expressions should be carried over from one block to another here.
 125   while (flag) {
 126     int e = 1;
 127     do
 128       e;
 129     while (coin());
 130   }
 131 }
 132 // CHECK: [ B0 (live expressions at block exit) ]
 133 // CHECK-EMPTY:
 134 // CHECK-EMPTY:
 135 // CHECK: [ B1 (live expressions at block exit) ]
 136 // CHECK-EMPTY:
 137 // CHECK-EMPTY:
 138 // CHECK: [ B2 (live expressions at block exit) ]
 139 // CHECK-EMPTY:
 140 // CHECK-EMPTY:
 141 // CHECK: [ B3 (live expressions at block exit) ]
 142 // CHECK-EMPTY:
 143 // CHECK-EMPTY:
 144 // CHECK: [ B4 (live expressions at block exit) ]
 145 // CHECK-EMPTY:
 146 // CHECK-EMPTY:
 147 // CHECK: [ B5 (live expressions at block exit) ]
 148 // CHECK-EMPTY:
 149 // CHECK-EMPTY:
 150
 151
 152 void testForBodyExpression(bool flag) {
 153   // No expressions should be carried over from one block to another here.
 154   while (flag) {
 155     int e = 1;
 156     for (; coin();)
 157       e;
 158   }
 159 }
 160 // CHECK: [ B0 (live expressions at block exit) ]
 161 // CHECK-EMPTY:
 162 // CHECK-EMPTY:
 163 // CHECK: [ B1 (live expressions at block exit) ]
 164 // CHECK-EMPTY:
 165 // CHECK-EMPTY:
 166 // CHECK: [ B2 (live expressions at block exit) ]
 167 // CHECK-EMPTY:
 168 // CHECK-EMPTY:
 169 // CHECK: [ B3 (live expressions at block exit) ]
 170 // CHECK-EMPTY:
 171 // CHECK-EMPTY:
 172 // CHECK: [ B4 (live expressions at block exit) ]
 173 // CHECK-EMPTY:
 174 // CHECK-EMPTY:
 175 // CHECK: [ B5 (live expressions at block exit) ]
 176 // CHECK-EMPTY:
 177 // CHECK-EMPTY:
 178
 179 void clang_analyzer_eval(bool);
 180
 181 void test_lambda_refcapture() {
 182   int a = 6;
 183   [&](int &a) { a = 42; }(a);
 184   clang_analyzer_eval(a == 42); // expected-warning{{TRUE}}
 185 }
 186
 187 // CHECK: [ B0 (live expressions at block exit) ]
 188 // CHECK-EMPTY:
 189 // CHECK-EMPTY:
 190 // CHECK-NEXT: [ B1 (live expressions at block exit) ]
 191 // CHECK-EMPTY:
 192 // CHECK-EMPTY:
 193 // CHECK-NEXT: [ B2 (live expressions at block exit) ]
 194 // CHECK-EMPTY:
 195 // CHECK-EMPTY: