OpenGrok

263                                             NonLoc right) const;
645                                                      NonLoc right) const {
662   if (right.getAs<nonloc::ConcreteInt>()) {
663     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
670     left = right;
675     // If left > max - right, we have an overflow.
1281   AnyArgExpr Right = {CE->getArg(1), 1};
1313         State->getSVal(Right.Expression, LCtx).castAs<DefinedOrUnknownSVal>();
1336     State = CheckBufferAccess(C, State, Right, Size, AccessKind::read);
1955   AnyArgExpr Right = {CE->getArg(1), 1};
1956   SVal RightVal = state->getSVal(Right.Expression, LCtx);
1957   state = checkNonNull(C, state, Right, RightVal);
1967   SVal RightLength = getCStringLength(C, state, Right.Expression, RightVal);
2005       getCStringLiteral(C, state, Right.Expression, RightVal);
2019       // If the length is known, we can get the right substrings.

Indexes created Sun Mar 01 05:31:48 UTC 2026