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