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
113
= svalBuilder.
evalBinOpNN
(state, BO_LT, rawOffset.getByteOffset(),
145
= svalBuilder.
evalBinOpNN
(state, BO_GE, rawOffset.getByteOffset(),
227
return sb.
evalBinOpNN
(state, BO_Mul, baseVal,
241
return svalBuilder.
evalBinOpNN
(state, BO_Add,
UnixAPIChecker.cpp
97
SVal maskedFlagsUC = C.getSValBuilder().
evalBinOpNN
(state, BO_And,
VLASizeChecker.cpp
116
SVal ArraySizeVal = svalBuilder.
evalBinOpNN
(state, BO_Mul, ArrayLength,
CStringChecker.cpp
352
NonLoc LastOffset = cast<NonLoc>(svalBuilder.
evalBinOpNN
(state, BO_Sub,
535
SVal maxMinusRight = svalBuilder.
evalBinOpNN
(state, BO_Sub, maxVal, right,
541
maxMinusRight = svalBuilder.
evalBinOpNN
(state, BO_Sub, maxVal, left,
549
SVal willOverflow = svalBuilder.
evalBinOpNN
(state, BO_GT, left,
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp
285
SVal newIdx = svalBuilder.
evalBinOpNN
(this, BO_Add,
292
svalBuilder.
evalBinOpNN
(this, BO_Add, cast<NonLoc>(UpperBound),
299
SVal inBound = svalBuilder.
evalBinOpNN
(this, BO_LT,
SimpleSValBuilder.cpp
34
virtual SVal
evalBinOpNN
(const ProgramState *state, BinaryOperator::Opcode op,
273
SVal SimpleSValBuilder::
evalBinOpNN
(const ProgramState *state,
545
// However, if a pointer is casted to an integer,
evalBinOpNN
may end up
743
//
evalBinOpNN
expects the two indexes to already be the right type.
744
return
evalBinOpNN
(state, op, *LeftIndex, *RightIndex, resultTy);
902
index =
evalBinOpNN
(state, op, elemReg->getIndex(), rhs,
[
all
...]
SValBuilder.cpp
190
return
evalBinOpNN
(state, op, cast<NonLoc>(lhs), cast<NonLoc>(rhs), type);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h
405
return svalBuilder.
evalBinOpNN
(state, op, L, R, T);
410
return R.isValid() ? svalBuilder.
evalBinOpNN
(state,op,L, cast<NonLoc>(R), T) : R;
SValBuilder.h
75
virtual SVal
evalBinOpNN
(const ProgramState *state, BinaryOperator::Opcode op,
Completed in 2869 milliseconds