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