Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Left

191                                             NonLoc left,
542                                                      NonLoc left,
566     maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left, 
568     left = right;
573     // If left > max - right, we have an overflow.
574     SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
1022   const Expr *Left = CE->getArg(0);
1054         state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();
1067       state = CheckBufferAccess(C, state, Size, Left);
1079       state = CheckBufferAccess(C, state, Size, Left, Right);