Home | History | Annotate | Download | only in Checkers

Lines Matching refs:getMaxValue

556   const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);