diff options
| author | Dominic Chen <d.c.ddcc@gmail.com> | 2017-07-12 21:43:42 +0000 |
|---|---|---|
| committer | Dominic Chen <d.c.ddcc@gmail.com> | 2017-07-12 21:43:42 +0000 |
| commit | c0402c6916709f7982ca171075cc47b2f0cb6bad (patch) | |
| tree | 982e4c2127eb1f5f6f71ea5fe2038837deaa6eb4 /clang/test/Analysis/explain-svals.cpp | |
| parent | 845b9813296460d52a1759a2c124f4069716d170 (diff) | |
| download | bcm5719-llvm-c0402c6916709f7982ca171075cc47b2f0cb6bad.tar.gz bcm5719-llvm-c0402c6916709f7982ca171075cc47b2f0cb6bad.zip | |
Revert "[analyzer] Support generating and reasoning over more symbolic constraint types"
Assertion `Loc::isLocType(SSE->getLHS()->getType())' failed in Analysis/PR3991.m
This reverts commit e469ff2759275e67f9072b3d67fac90f647c0fe6.
llvm-svn: 307853
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 6a67e167c4a..d4b56a34825 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{{{{^\(argument 'x'\) \+ \(argument 'y'\)$}}}} + clang_analyzer_explain(x + y); // expected-warning-re{{{{^unknown value$}}}} 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'$}}}} |
