Lines Matching defs:Msgs

134   void reportOOB(CheckerContext &C, ProgramStateRef ErrorState, Messages Msgs,
593         Messages Msgs = getPrecedesMsgs(Reg, ByteOffset);
594         reportOOB(C, PrecedesLowerBound, Msgs, ByteOffset, std::nullopt);
634         Messages Msgs =
637         reportOOB(C, ExceedsUpperBound, Msgs, ByteOffset, KnownSize);
652         Messages Msgs = getTaintMsgs(Reg, OffsetName, AlsoMentionUnderflow);
653         reportOOB(C, ExceedsUpperBound, Msgs, ByteOffset, KnownSize,
697                                     ProgramStateRef ErrorState, Messages Msgs,
706       IsTaintBug ? TaintBT : BT, Msgs.Short, Msgs.Full, ErrorNode);