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