Searched refs:maxLengthInt (Results 1 – 1 of 1) sorted by relevance
697 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt, in getCStringLengthForRegion() local699 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt); in getCStringLengthForRegion()