[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