Searched refs:IntDist (Results 1 – 1 of 1) sorted by relevance
244 nonloc::ConcreteInt IntDist = *IntDistOp; in advancePosition() local246 if (IntDist.getValue().isNegative()) { in advancePosition()247 IntDist = nonloc::ConcreteInt(BVF.getValue(-IntDist.getValue())); in advancePosition()253 IntDist, SymMgr.getType(Pos->getOffset())) in advancePosition()