diff options
| author | Manas <manas18244@iiitd.ac.in> | 2022-12-09 13:30:57 +0100 |
|---|---|---|
| committer | Balazs Benics <benicsbalazs@gmail.com> | 2022-12-09 13:30:57 +0100 |
| commit | 77ab7281aa36800dc77dab07bd40e6e0fd9f0b78 (patch) | |
| tree | a03ec210af19dea915c34070423fc7c9d2dc356d /lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp | |
| parent | f4c6d7b8136eb58f9b88a9565e9c3fbc6c0d463b (diff) | |
[analyzer][solver] Introduce reasoning for not equal to operator
With this patch, the solver can infer results for not equal (!=) operator
over Ranges as well. This also fixes the issue of comparison between
different types, by first converting the RangeSets to the resulting type,
which then can be used for comparisons.
Patch by Manas.
Reviewed By: steakhal
Differential Revision: https://reviews.llvm.org/D112621
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/ScriptInterpreterPython.cpp')
0 files changed, 0 insertions, 0 deletions