[clang] [analyzer] Improve solver (PR #112583)
Arseniy Zaostrovnykh via cfe-commits
cfe-commits at lists.llvm.org
Fri Oct 18 04:01:13 PDT 2024
================
@@ -1939,11 +1956,8 @@ class RangeConstraintManager : public RangedConstraintManager {
RangeSet::Factory F;
RangeSet getRange(ProgramStateRef State, SymbolRef Sym);
- RangeSet getRange(ProgramStateRef State, EquivalenceClass Class);
ProgramStateRef setRange(ProgramStateRef State, SymbolRef Sym,
RangeSet Range);
- ProgramStateRef setRange(ProgramStateRef State, EquivalenceClass Class,
- RangeSet Range);
----------------
necto wrote:
Were these member functions never implemented?
https://github.com/llvm/llvm-project/pull/112583
More information about the cfe-commits
mailing list