diff options
| author | Denys Petrov <dpetrov@accesssoftek.com> | 2020-06-15 15:31:10 +0300 |
|---|---|---|
| committer | Denys Petrov <dpetrov@accesssoftek.com> | 2020-06-15 18:35:15 +0300 |
| commit | e1741e34e00b27cbf9acc9b2eb85b71d2676e968 (patch) | |
| tree | 0681b7250ab0f944d89b2a8d8e1e23dea0531d31 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | 2ca552322c29b61e8c20a0b31cf452de88d8af1c (diff) | |
[analyzer] Reasoning about comparison expressions in RangeConstraintManager
Summary:
Implemented RangeConstraintManager::getRangeForComparisonSymbol which handles comparison operators.
RangeConstraintManager::getRangeForComparisonSymbol cares about the sanity of comparison expressions sequences helps reasonably to branch an exploded graph.
It can significantly reduce the graph and speed up the analysis. For more details, please, see the differential revision.
This fixes https://bugs.llvm.org/show_bug.cgi?id=13426
Differential Revision: https://reviews.llvm.org/D78933
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions