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