Searched defs:AlsoMentionUnderflow (Results 1 – 1 of 1) sorted by relevance
408 bool AlsoMentionUnderflow) { in getExceedsMsgs() argument 457 bool AlsoMentionUnderflow) { in getTaintMsgs() argument 617 bool AlsoMentionUnderflow = SUR.assumedNonNegative(); in performCheck() local