OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:evalBinOpNN
(Results
1 - 9
of
9
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundCheckerV2.cpp
115
svalBuilder.
evalBinOpNN
(state, BO_LT, rawOffset.getByteOffset(), *NV,
146
= svalBuilder.
evalBinOpNN
(state, BO_GE, rawOffset.getByteOffset(),
245
return sb.
evalBinOpNN
(state, BO_Mul, baseVal,
259
return svalBuilder.
evalBinOpNN
(state, BO_Add, x.castAs<NonLoc>(),
CStringChecker.cpp
369
.
evalBinOpNN
(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();
559
maxMinusRight = svalBuilder.
evalBinOpNN
(state, BO_Sub, maxVal, right,
564
maxMinusRight = svalBuilder.
evalBinOpNN
(state, BO_Sub, maxVal, left,
572
SVal willOverflow = svalBuilder.
evalBinOpNN
(state, BO_GT, left,
[
all
...]
VLASizeChecker.cpp
141
SVal ArraySizeVal = svalBuilder.
evalBinOpNN
(
UnixAPIChecker.cpp
113
SVal maskedFlagsUC = C.getSValBuilder().
evalBinOpNN
(state, BO_And,
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h
444
return svalBuilder.
evalBinOpNN
(state, op, L, R, T);
449
return R.isValid() ? svalBuilder.
evalBinOpNN
(state, op, L,
SValBuilder.h
92
virtual SVal
evalBinOpNN
(ProgramStateRef state, BinaryOperator::Opcode op,
/external/clang/lib/StaticAnalyzer/Core/
SimpleSValBuilder.cpp
36
virtual SVal
evalBinOpNN
(ProgramStateRef state, BinaryOperator::Opcode op,
305
SVal SimpleSValBuilder::
evalBinOpNN
(ProgramStateRef state,
541
// However, if a pointer is casted to an integer,
evalBinOpNN
may end up
760
//
evalBinOpNN
expects the two indexes to already be the right type.
761
return
evalBinOpNN
(state, op, *LeftIndex, *RightIndex, resultTy);
[
all
...]
ProgramState.cpp
303
SVal newIdx = svalBuilder.
evalBinOpNN
(this, BO_Add,
310
svalBuilder.
evalBinOpNN
(this, BO_Add, UpperBound.castAs<NonLoc>(),
317
SVal inBound = svalBuilder.
evalBinOpNN
(this, BO_LT, newIdx.castAs<NonLoc>(),
SValBuilder.cpp
276
return
evalBinOpNN
(state, op, lhs.castAs<NonLoc>(), rhs.castAs<NonLoc>(),
Completed in 145 milliseconds