Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Second

183                                    const Expr *Second) const;
187 const Stmt *Second) const;
387 // If there's a second buffer, check it as well.
412 const Expr *Second) const {
417 // buffer, see if the end of the first is greater than the start of the second
429 SVal secondVal = state->getSVal(Second, LCtx);
446 emitOverlapBug(C, stateTrue, First, Second);
473 std::swap(First, Second);
500 // Is the end of the first buffer past the start of the second buffer?
512 emitOverlapBug(C, stateTrue, First, Second);
522 const Stmt *First, const Stmt *Second) const {
535 report->addRange(Second->getSourceRange());
1647 // Check that the second string is non-null.
1659 // Get the string length of the second string or give up.