Searched refs:DiffTy (Results 1 – 1 of 1) sorted by relevance
165 QualType DiffTy = SymMgr.getContext().getPointerDiffType(); in assumeAux() local167 SSE->getLHS(), DiffTy); in assumeAux()169 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy); in assumeAux()