Searched refs:AlsoMentionUnderflow (Results 1 – 1 of 1) sorted by relevance
408 bool AlsoMentionUnderflow) { in getExceedsMsgs() argument428 if (AlsoMentionUnderflow) { in getExceedsMsgs()451 AlsoMentionUnderflow ? "around" : "after the end of", in getExceedsMsgs()457 bool AlsoMentionUnderflow) { in getTaintMsgs() argument463 AlsoMentionUnderflow ? "negative or " : "")}; in getTaintMsgs()617 bool AlsoMentionUnderflow = SUR.assumedNonNegative(); in performCheck() local636 Location, AlsoMentionUnderflow); in performCheck()652 Messages Msgs = getTaintMsgs(Reg, OffsetName, AlsoMentionUnderflow); in performCheck()