diff options
| author | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-03-16 09:24:30 +0000 |
|---|---|---|
| committer | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-03-16 09:24:30 +0000 |
| commit | 0fe67a61cd4aec13c7969a179517f1cc06ab05cd (patch) | |
| tree | 36ed27ece1d3f0d5055246f13cc00f9dab92a9e6 /llvm/lib/CodeGen/SelectionDAG/FunctionLoweringInfo.cpp | |
| parent | f962485adad9d646511fd3240c0408d9554e6784 (diff) | |
| download | bcm5719-llvm-0fe67a61cd4aec13c7969a179517f1cc06ab05cd.tar.gz bcm5719-llvm-0fe67a61cd4aec13c7969a179517f1cc06ab05cd.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: xazax.hun, baloghadamsoftware, szepet, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, dkrupp, gsd, gerazo
Tags: #clang
Differential Revision: https://reviews.llvm.org/D57410
llvm-svn: 356319
Diffstat (limited to 'llvm/lib/CodeGen/SelectionDAG/FunctionLoweringInfo.cpp')
0 files changed, 0 insertions, 0 deletions
