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