e527df03c4
Tests introduced in r329780 was disabled in r342317 because these tests were accidentally testing dump infrastructure, when all they cared about was how symbols relate to each other. So when dump infrastructure changed, tests became annoying to maintain. Add a new feature to ExprInspection: clang_analyzer_denote() and clang_analyzer_explain(). The former adds a notation to a symbol, the latter expresses another symbol in terms of previously denoted symbols. It's currently a bit wonky - doesn't print parentheses and only supports denoting atomic symbols. But it's even more readable that way. Differential Revision: https://reviews.llvm.org/D52133 llvm-svn: 343048
31 lines
1.3 KiB
C++
31 lines
1.3 KiB
C++
// RUN: %clang_analyze_cc1 -x c++ -analyzer-checker=debug.ExprInspection -verify %s
|
|
|
|
// Self-tests for the debug.ExprInspection checker.
|
|
|
|
void clang_analyzer_denote(int x, const char *str);
|
|
void clang_analyzer_express(int x);
|
|
|
|
// Invalid declarations to test sanity checks.
|
|
void clang_analyzer_denote();
|
|
void clang_analyzer_denote(int x);
|
|
void clang_analyzer_express();
|
|
|
|
void foo(int x, unsigned y) {
|
|
clang_analyzer_denote(); // expected-warning{{clang_analyzer_denote() requires a symbol and a string literal}}
|
|
clang_analyzer_express(); // expected-warning{{clang_analyzer_express() requires a symbol}}
|
|
|
|
clang_analyzer_denote(x); // expected-warning{{clang_analyzer_denote() requires a symbol and a string literal}}
|
|
clang_analyzer_express(x); // expected-warning{{Unable to express}}
|
|
|
|
clang_analyzer_denote(x, "$x");
|
|
clang_analyzer_denote(y, "$y");
|
|
clang_analyzer_express(x + y); // expected-warning{{$x + $y}}
|
|
|
|
clang_analyzer_denote(1, "$z"); // expected-warning{{Not a symbol}}
|
|
clang_analyzer_express(1); // expected-warning{{Not a symbol}}
|
|
|
|
clang_analyzer_denote(x + 1, "$w"); // expected-warning{{Not an atomic symbol}}
|
|
clang_analyzer_express(x + 1); // expected-warning{{$x + 1}}
|
|
clang_analyzer_express(y + 1); // expected-warning{{$y + 1U}}
|
|
}
|