clang/test/Analysis/lambdas-generalized-capture.cpp

   1 // RUN: %clang_analyze_cc1 -std=c++14 -analyzer-checker=core,deadcode,debug.ExprInspection -verify %s
   2
   3 int clang_analyzer_eval(int);
   4
   5 void generalizedCapture() {
   6   int v = 7;
   7   auto lambda = [x=v]() {
   8     return x;
   9   };
  10
  11   int result = lambda();
  12   clang_analyzer_eval(result == 7); // expected-warning {{TRUE}}
  13 }
  14
  15 void sideEffectsInGeneralizedCapture() {
  16   int v = 7;
  17   auto lambda = [x=v++]() {
  18     return x;
  19   };
  20   clang_analyzer_eval(v == 8); // expected-warning {{TRUE}}
  21
  22   int r1 = lambda();
  23   int r2 = lambda();
  24   clang_analyzer_eval(r1 == 7); // expected-warning {{TRUE}}
  25   clang_analyzer_eval(r2 == 7); // expected-warning {{TRUE}}
  26   clang_analyzer_eval(v == 8); // expected-warning {{TRUE}}
  27 }
  28
  29 int addOne(int p) {
  30  return p + 1;
  31 }
  32
  33 void inliningInGeneralizedCapture() {
  34   int v = 7;
  35   auto lambda = [x=addOne(v)]() {
  36     return x;
  37   };
  38
  39   int result = lambda();
  40   clang_analyzer_eval(result == 8); // expected-warning {{TRUE}}
  41 }
  42
  43 void caseSplitInGeneralizedCapture(bool p) {
  44   auto lambda = [x=(p ? 1 : 2)]() {
  45     return x;
  46   };
  47
  48   int result = lambda();
  49   clang_analyzer_eval(result == 1); // expected-warning {{FALSE}} expected-warning {{TRUE}}
  50 }