Searched refs:MaxValInt (Results 1 – 1 of 1) sorted by relevance
1729 const llvm::APSInt MaxValInt = BVF.getMaxValue(SizeTy); in checkTaintedness() local1731 SVB.makeIntVal(MaxValInt / APSIntType(MaxValInt).getValue(4)); in checkTaintedness()