Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Second

179                                    const Expr *Second) const;
183 const Stmt *Second) const;
396 // If there's a second buffer, check it as well.
421 const Expr *Second) const {
426 // buffer, see if the end of the first is greater than the start of the second
438 SVal secondVal = state->getSVal(Second, LCtx);
455 emitOverlapBug(C, stateTrue, First, Second);
484 First = Second;
485 Second = tmpExpr;
512 // Is the end of the first buffer past the start of the second buffer?
523 emitOverlapBug(C, stateTrue, First, Second);
533 const Stmt *First, const Stmt *Second) const {
546 report->addRange(Second->getSourceRange());
1653 // Check that the second string is non-null.
1665 // Get the string length of the second string or give up.