diff options
| author | Richard Trieu <rtrieu@google.com> | 2012-03-21 23:30:30 +0000 |
|---|---|---|
| committer | Richard Trieu <rtrieu@google.com> | 2012-03-21 23:30:30 +0000 |
| commit | b778305e95f9977e6710f2b04830ecc36398ab5e (patch) | |
| tree | 66fe05c7de832007641775f2880d0b91ba4948f1 /lib/StaticAnalyzer/Core/ExprEngine.cpp | |
| parent | 850f1b1af015719ec10351bb93530101c265dd29 (diff) | |
Change the binary operator data recursive evaluator to not stop at the first
non-constant value encountered. This allows the evaluator to deduce that
expressions like (x < 5 || true) is equal to true. Previously, it would visit
x and determined that the entire expression is could not evaluated to a
constant.
This fixes PR12318.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@153226 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngine.cpp')
0 files changed, 0 insertions, 0 deletions