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