| // RUN: %clang_analyze_cc1 -std=c++14 -analyzer-checker=core,deadcode,debug.ExprInspection -verify %s |
| int clang_analyzer_eval(int); |
| void generalizedCapture() { |
| clang_analyzer_eval(result == 7); // expected-warning {{TRUE}} |
| void sideEffectsInGeneralizedCapture() { |
| auto lambda = [x=v++]() { |
| clang_analyzer_eval(v == 8); // expected-warning {{TRUE}} |
| clang_analyzer_eval(r1 == 7); // expected-warning {{TRUE}} |
| clang_analyzer_eval(r2 == 7); // expected-warning {{TRUE}} |
| clang_analyzer_eval(v == 8); // expected-warning {{TRUE}} |
| void inliningInGeneralizedCapture() { |
| auto lambda = [x=addOne(v)]() { |
| clang_analyzer_eval(result == 8); // expected-warning {{TRUE}} |
| void caseSplitInGeneralizedCapture(bool p) { |
| auto lambda = [x=(p ? 1 : 2)]() { |
| clang_analyzer_eval(result == 1); // expected-warning {{FALSE}} expected-warning {{TRUE}} |