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:
 196
 197 int logicalOpInTernary(bool b) {
 198   return (b || b) ? 0 : 1;
 199 }
 200
 201 // [B6 (ENTRY)]
 202 //    |
 203 //    V
 204 // [B5 (b || ...)]
 205 //   |            \
 206 //   |             |
 207 //   V             V
 208 // [B4 (b||b)] ? [B2 (0)] : [B3 (1)]
 209 //                \        /
 210 //                 ---|----
 211 //                    V
 212 //                   [B1] --> [B0 (EXIT)]
 213 //                  return
 214
 215 // CHECK: [ B0 (live expressions at block exit) ]
 216 // CHECK-EMPTY:
 217 // CHECK-EMPTY:
 218 // CHECK: [ B1 (live expressions at block exit) ]
 219 // CHECK-EMPTY:
 220 // CHECK-EMPTY:
 221 // CHECK: [ B2 (live expressions at block exit) ]
 222 // CHECK-EMPTY:
 223 // CHECK: ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 224 // CHECK: `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 225 // CHECK-EMPTY:
 226 // CHECK: ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 227 // CHECK: `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 228 // CHECK-EMPTY:
 229 // CHECK: BinaryOperator {{.*}} '_Bool' '||'
 230 // CHECK: |-ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 231 // CHECK: | `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 232 // CHECK: `-ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 233 // CHECK:   `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 234 // CHECK-EMPTY:
 235 // CHECK: IntegerLiteral {{.*}} 'int' 0
 236 // CHECK-EMPTY:
 237 // CHECK: IntegerLiteral {{.*}} 'int' 1
 238 // CHECK-EMPTY:
 239 // CHECK-EMPTY:
 240 // CHECK: [ B3 (live expressions at block exit) ]
 241 // CHECK-EMPTY:
 242 // CHECK: ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 243 // CHECK: `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 244 // CHECK-EMPTY:
 245 // CHECK: ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 246 // CHECK: `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 247 // CHECK-EMPTY:
 248 // CHECK: BinaryOperator {{.*}} '_Bool' '||'
 249 // CHECK: |-ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 250 // CHECK: | `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 251 // CHECK: `-ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 252 // CHECK:   `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 253 // CHECK-EMPTY:
 254 // CHECK: IntegerLiteral {{.*}} 'int' 0
 255 // CHECK-EMPTY:
 256 // CHECK: IntegerLiteral {{.*}} 'int' 1
 257 // CHECK-EMPTY:
 258 // CHECK-EMPTY:
 259 // CHECK: [ B4 (live expressions at block exit) ]
 260 // CHECK-EMPTY:
 261 // CHECK: ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 262 // CHECK: `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 263 // CHECK-EMPTY:
 264 // CHECK: ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 265 // CHECK: `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 266 // CHECK-EMPTY:
 267 // CHECK: BinaryOperator {{.*}} '_Bool' '||'
 268 // CHECK: |-ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 269 // CHECK: | `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 270 // CHECK: `-ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 271 // CHECK:   `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 272 // CHECK-EMPTY:
 273 // CHECK: IntegerLiteral {{.*}} 'int' 0
 274 // CHECK-EMPTY:
 275 // CHECK: IntegerLiteral {{.*}} 'int' 1
 276 // CHECK-EMPTY:
 277 // CHECK-EMPTY:
 278 // CHECK: [ B5 (live expressions at block exit) ]
 279 // CHECK-EMPTY:
 280 // CHECK: ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 281 // CHECK: `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 282 // CHECK-EMPTY:
 283 // CHECK: ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 284 // CHECK: `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 285 // CHECK-EMPTY:
 286 // CHECK: BinaryOperator {{.*}} '_Bool' '||'
 287 // CHECK: |-ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 288 // CHECK: | `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 289 // CHECK: `-ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 290 // CHECK:   `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 291 // CHECK-EMPTY:
 292 // CHECK: IntegerLiteral {{.*}} 'int' 0
 293 // CHECK-EMPTY:
 294 // CHECK: IntegerLiteral {{.*}} 'int' 1
 295 // CHECK-EMPTY:
 296 // CHECK-EMPTY:
 297 // CHECK: [ B6 (live expressions at block exit) ]
 298 // CHECK-EMPTY:
 299 // CHECK: ImplicitCastExpr {{.*}} '_Bool' <LValueToRValue>
 300 // CHECK: `-DeclRefExpr {{.*}} '_Bool' lvalue ParmVar {{.*}} 'b' '_Bool'
 301 // CHECK-EMPTY:
 302 // CHECK: IntegerLiteral {{.*}} 'int' 0
 303 // CHECK-EMPTY:
 304 // CHECK: IntegerLiteral {{.*}} 'int' 1