Lines Matching defs:Right
188 NonLoc right) const;
554 NonLoc right) const {
571 if (isa<nonloc::ConcreteInt>(right)) {
572 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
579 left = right;
584 // If left > max - right, we have an overflow.
1037 const Expr *Right = CE->getArg(1);
1070 cast<DefinedOrUnknownSVal>(state->getSVal(Right, LCtx));
1093 state = CheckBufferAccess(C, state, Size, Left, Right);
1416 // right now it creates problems with constraints (since we can end up
1714 // If the length is known, we can get the right substrings.