Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Second

181                                    const Expr *Second) const;
185 const Stmt *Second) const;
385 // If there's a second buffer, check it as well.
410 const Expr *Second) const {
415 // buffer, see if the end of the first is greater than the start of the second
427 SVal secondVal = state->getSVal(Second, LCtx);
444 emitOverlapBug(C, stateTrue, First, Second);
471 std::swap(First, Second);
498 // Is the end of the first buffer past the start of the second buffer?
510 emitOverlapBug(C, stateTrue, First, Second);
520 const Stmt *First, const Stmt *Second) const {
533 report->addRange(Second->getSourceRange());
1645 // Check that the second string is non-null.
1657 // Get the string length of the second string or give up.