Searched refs:DiffTy (Results 1 – 1 of 1) sorted by relevance
57 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeSym() local59 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()61 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy); in assumeSym()