Searched refs:DiffInt (Results 1 – 1 of 1) sorted by relevance
1036 const auto DiffInt = Diff.getAs<nonloc::ConcreteInt>(); in rebaseSymbol() local1037 if (!DiffInt) in rebaseSymbol()1040 return SVB.evalBinOpNN(State, BO_Add, *DiffInt, nonloc::SymbolVal(NewSym), in rebaseSymbol()