diff options
| author | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-03-16 13:47:55 +0000 |
|---|---|---|
| committer | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-03-16 13:47:55 +0000 |
| commit | 9ea2f9079d0118dd68033d0a211733e235836e92 (patch) | |
| tree | 36ed27ece1d3f0d5055246f13cc00f9dab92a9e6 /llvm/lib/CodeGen/SelectionDAG/FunctionLoweringInfo.cpp | |
| parent | cf0b4e32eb8a0383dbe3b6301792260ae61bed30 (diff) | |
| download | bcm5719-llvm-9ea2f9079d0118dd68033d0a211733e235836e92.tar.gz bcm5719-llvm-9ea2f9079d0118dd68033d0a211733e235836e92.zip | |
[analyzer] ConditionBRVisitor: Unknown condition evaluation support
Summary:
If the constraint information is not changed between two program states the
analyzer has not learnt new information and made no report. But it is
possible to happen because we have no information at all. The new approach
evaluates the condition to determine if that is the case and let the user
know we just `Assuming...` some value.
Reviewers: NoQ, george.karpenkov
Reviewed By: NoQ
Subscribers: llvm-commits, xazax.hun, baloghadamsoftware, szepet, a.sidorin,
mikhail.ramalho, Szelethus, donat.nagy, dkrupp, gsd, gerazo
Tags: #clang, #llvm
Differential Revision: https://reviews.llvm.org/D57410
llvm-svn: 356323
Diffstat (limited to 'llvm/lib/CodeGen/SelectionDAG/FunctionLoweringInfo.cpp')
0 files changed, 0 insertions, 0 deletions
