Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Left

194                                             NonLoc left,
548                                                      NonLoc left,
572     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, 
574     left = right;
579     // If left > max - right, we have an overflow.
580     SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
1064   const Expr *Left = CE->getArg(0);
1096         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();
1109       state = CheckBufferAccess(C, state, Size, Left);
1121       state = CheckBufferAccess(C, state, Size, Left, Right);