diff options
| author | Dominic Chen <d.c.ddcc@gmail.com> | 2017-07-12 19:37:57 +0000 |
|---|---|---|
| committer | Dominic Chen <d.c.ddcc@gmail.com> | 2017-07-12 19:37:57 +0000 |
| commit | 35610d21b294d4cdc1fc0f3f69f348b291fa6c89 (patch) | |
| tree | 819b613c77ed09130b872b4fd8f29bce6c41309d /clang/test/Analysis/explain-svals.cpp | |
| parent | 969518b442037aaae89e7370ba305932a150040d (diff) | |
| download | bcm5719-llvm-35610d21b294d4cdc1fc0f3f69f348b291fa6c89.tar.gz bcm5719-llvm-35610d21b294d4cdc1fc0f3f69f348b291fa6c89.zip | |
[analyzer] Support generating and reasoning over more symbolic constraint types
Summary: Generate more IntSymExpr constraints, perform SVal simplification for IntSymExpr and SymbolCast constraints, and create fully symbolic SymExprs
Reviewers: zaks.anna, dcoughlin, NoQ, xazax.hun
Subscribers: mgorny, cfe-commits
Differential Revision: https://reviews.llvm.org/D28953
llvm-svn: 307833
Diffstat (limited to 'clang/test/Analysis/explain-svals.cpp')
| -rw-r--r-- | clang/test/Analysis/explain-svals.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/test/Analysis/explain-svals.cpp b/clang/test/Analysis/explain-svals.cpp index d4b56a34825..6a67e167c4a 100644 --- a/clang/test/Analysis/explain-svals.cpp +++ b/clang/test/Analysis/explain-svals.cpp @@ -69,7 +69,7 @@ void test_4(int x, int y) { static int stat; clang_analyzer_explain(x + 1); // expected-warning-re{{{{^\(argument 'x'\) \+ 1$}}}} clang_analyzer_explain(1 + y); // expected-warning-re{{{{^\(argument 'y'\) \+ 1$}}}} - clang_analyzer_explain(x + y); // expected-warning-re{{{{^unknown value$}}}} + clang_analyzer_explain(x + y); // expected-warning-re{{{{^\(argument 'x'\) \+ \(argument 'y'\)$}}}} clang_analyzer_explain(z); // expected-warning-re{{{{^undefined value$}}}} clang_analyzer_explain(&z); // expected-warning-re{{{{^pointer to local variable 'z'$}}}} clang_analyzer_explain(stat); // expected-warning-re{{{{^signed 32-bit integer '0'$}}}} |
