diff options
| author | Gabor Marton <gabor.marton@ericsson.com> | 2021-10-25 18:10:12 +0200 |
|---|---|---|
| committer | Gabor Marton <gabor.marton@ericsson.com> | 2021-10-27 16:48:55 +0200 |
| commit | 888af47095d5a7121c1d78566df59c292f30ceaf (patch) | |
| tree | 165fe3fbc0b144b564cf5b5676afdbdebbdfe8c6 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | 6b1599d7a3e4f5642ae7535e5f4203972deb868f (diff) | |
[Analyzer][solver] Simplification: reorganize equalities with adjustment
Initiate the reorganization of the equality information during symbol
simplification. E.g., if we bump into `c + 1 == 0` during simplification
then we'd like to express that `c == -1`. It makes sense to do this only
with `SymIntExpr`s.
Reviewed By: steakhal
Differential Revision: https://reviews.llvm.org/D111642
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions