| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundCheckerV2.cpp | 115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV,
146 = svalBuilder.evalBinOpNN(state, BO_GE, rawOffset.getByteOffset(),
235 return sb.evalBinOpNN(state, BO_Mul, baseVal,
249 return svalBuilder.evalBinOpNN(state, BO_Add, x.castAs<NonLoc>(),
|
| CStringChecker.cpp | 389 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();
579 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, right,
584 maxMinusRight = svalBuilder.evalBinOpNN(state, BO_Sub, maxVal, left,
592 SVal willOverflow = svalBuilder.evalBinOpNN(state, BO_GT, left,
700 SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn,
[all...] |
| VLASizeChecker.cpp | 163 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
|
| UnixAPIChecker.cpp | 140 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,
|
| MallocChecker.cpp | 728 SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And,
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| SimpleSValBuilder.cpp | 36 SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
304 SVal SimpleSValBuilder::evalBinOpNN(ProgramStateRef state,
589 // However, if a pointer is casted to an integer, evalBinOpNN may end up
711 return evalBinOpNN(state, op, l, r, resultTy);
801 // evalBinOpNN expects the two indexes to already be the right type.
802 return evalBinOpNN(state, op, *LeftIndex, *RightIndex, resultTy);
[all...] |
| SValBuilder.cpp | 391 return evalBinOpNN(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(),
459 evalBinOpNN(state, BO_LE, FromVal, ToTypeMaxVal, CmpTy).castAs<NonLoc>();
|
| ProgramState.cpp | 326 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
333 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
340 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 489 return svalBuilder.evalBinOpNN(state, op, L, R, T);
494 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L,
|
| SValBuilder.h | 98 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op,
|
