diff options
| author | Gabor Marton <gabor.marton@ericsson.com> | 2021-11-05 11:53:29 +0100 |
|---|---|---|
| committer | Gabor Marton <gabor.marton@ericsson.com> | 2021-11-12 11:44:49 +0100 |
| commit | 01c9700aaad39339414d77da7fc910a435303016 (patch) | |
| tree | 45ee06865eea7c5965d3a0250611c510221a84a8 /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPythonImpl.h | |
| parent | 806329da07006b3b95b5164a2a7c8b3be0aac8de (diff) | |
| download | llvm-01c9700aaad39339414d77da7fc910a435303016.zip llvm-01c9700aaad39339414d77da7fc910a435303016.tar.gz llvm-01c9700aaad39339414d77da7fc910a435303016.tar.bz2 | |
[analyzer][solver] Remove reference to RangedConstraintManager
We no longer need a reference to RangedConstraintManager, we call top
level `State->assume` functions.
Differential Revision: https://reviews.llvm.org/D113261
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPythonImpl.h')
0 files changed, 0 insertions, 0 deletions