diff options
| author | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-05-29 20:06:09 +0000 |
|---|---|---|
| committer | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-05-29 20:06:09 +0000 |
| commit | 4b0184b2d38e0c38da2c665257d516b1eb2b6175 (patch) | |
| tree | a4085e391c56963141674aca736aacfd9f097454 /clang/test/Analysis/virtualcall.cpp | |
| parent | 68908c9017d7c07f2a83b5d3428d5d15523a656c (diff) | |
| download | bcm5719-llvm-4b0184b2d38e0c38da2c665257d516b1eb2b6175.tar.gz bcm5719-llvm-4b0184b2d38e0c38da2c665257d516b1eb2b6175.zip | |
[analyzer] ConditionBRVisitor: Enhance to write out more information
Summary:
Add extra messages to the bug report to inform the user why the analyzer
`Taking true/false branch`.
Reviewers: NoQ, george.karpenkov
Reviewed By: NoQ
Subscribers: gerazo, gsd, dkrupp, whisperity, baloghadamsoftware, xazax.hun,
eraman, szepet, a.sidorin, mikhail.ramalho, Szelethus,
donat.nagy, cfe-commits
Tags: #clang
Differential Revision: https://reviews.llvm.org/D53076
llvm-svn: 362020
Diffstat (limited to 'clang/test/Analysis/virtualcall.cpp')
| -rw-r--r-- | clang/test/Analysis/virtualcall.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/clang/test/Analysis/virtualcall.cpp b/clang/test/Analysis/virtualcall.cpp index 1929abf6f0a..5847110c093 100644 --- a/clang/test/Analysis/virtualcall.cpp +++ b/clang/test/Analysis/virtualcall.cpp @@ -164,8 +164,10 @@ public: X(int i) { if (i > 0) { #if !PUREONLY - // expected-note-re@-2 {{{{^}}Taking true branch}} - // expected-note-re@-3 {{{{^}}Taking false branch}} + // expected-note-re@-2 {{{{^}}'i' is > 0}} + // expected-note-re@-3 {{{{^}}Taking true branch}} + // expected-note-re@-4 {{{{^}}'i' is <= 0}} + // expected-note-re@-5 {{{{^}}Taking false branch}} #endif X x(i - 1); #if !PUREONLY |
