OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:svalBuilder
(Results
1 - 12
of
12
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
BoolAssignmentChecker.cpp
80
SValBuilder
&
svalBuilder
= C.getSValBuilder();
84
DefinedSVal zeroVal =
svalBuilder
.makeIntVal(0, valTy);
86
svalBuilder
.evalBinOp(state, BO_GE, *DV, zeroVal,
87
svalBuilder
.getConditionType());
93
// The
SValBuilder
cannot construct a valid SVal for this condition.
120
DefinedSVal OneVal =
svalBuilder
.makeIntVal(1, valTy);
122
svalBuilder
.evalBinOp(state, BO_LE, *DV, OneVal,
123
svalBuilder
.getConditionType());
129
// The
SValBuilder
cannot construct a valid SVal for this condition
[
all
...]
BuiltinFunctionChecker.cpp
70
SValBuilder
&
svalBuilder
= C.getSValBuilder();
71
DefinedOrUnknownSVal Extent = R->getExtent(
svalBuilder
);
73
svalBuilder
.evalEQ(state, Extent, Size);
88
SValBuilder
&SVB = C.getSValBuilder();
ArrayBoundCheckerV2.cpp
60
SValBuilder
&
svalBuilder
,
68
static SVal computeExtentBegin(
SValBuilder
&
svalBuilder
,
73
return
svalBuilder
.makeZeroArrayIndex();
100
SValBuilder
&
svalBuilder
= checkerContext.getSValBuilder();
102
RegionRawOffsetV2::computeOffset(state,
svalBuilder
, location);
111
SVal extentBegin = computeExtentBegin(
svalBuilder
, rawOffset.getRegion());
115
svalBuilder
.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV
[
all
...]
VLASizeChecker.cpp
134
SValBuilder
&
svalBuilder
= C.getSValBuilder();
137
DefinedOrUnknownSVal Zero =
svalBuilder
.makeZeroVal(Ty);
139
SVal LessThanZeroVal =
svalBuilder
.evalBinOp(state, BO_LT, sizeD, Zero, Ty);
156
svalBuilder
.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();
160
SVal EleSizeVal =
svalBuilder
.makeIntVal(EleSize.getQuantity(), SizeTy);
163
SVal ArraySizeVal =
svalBuilder
.evalBinOpNN(
169
state->getRegion(VD, LC)->getExtent(
svalBuilder
);
172
svalBuilder
.evalEQ(state, Extent, ArraySize);
StreamChecker.cpp
213
SValBuilder
&
svalBuilder
= C.getSValBuilder();
215
DefinedSVal RetVal =
svalBuilder
.conjureSymbolVal(nullptr, CE, LCtx,
CStringChecker.cpp
226
SValBuilder
&
svalBuilder
= C.getSValBuilder();
227
DefinedOrUnknownSVal zero =
svalBuilder
.makeZeroVal(Ty);
228
return state->assume(
svalBuilder
.evalEQ(state, *val, zero));
297
SValBuilder
&
svalBuilder
= C.getSValBuilder();
299
svalBuilder
.convertToArrayIndex(superReg->getExtent(
svalBuilder
));
361
SValBuilder
&
svalBuilder
= C.getSValBuilder()
[
all
...]
MallocChecker.cpp
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h
18
#include "clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder
.h"
42
SValBuilder
&
svalBuilder
;
88
return
svalBuilder
.makeLoc(MRMgr.getVarRegion(VD, LC));
ExprEngine.h
74
///
svalBuilder
-
SValBuilder
object that creates SVals from expressions.
75
SValBuilder
&
svalBuilder
;
131
SValBuilder
&getSValBuilder() { return
svalBuilder
; }
313
// FIXME: Remove when we migrate over to just using
SValBuilder
.
478
return X.isValid() ?
svalBuilder
.evalMinus(X.castAs<NonLoc>()) : X;
482
return X.isValid() ?
svalBuilder
.evalComplement(X.castAs<NonLoc>()) : X;
489
return
svalBuilder
.evalBinOpNN(state, op, L, R, T)
[
all
...]
ProgramState.h
22
#include "clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder
.h"
466
std::unique_ptr<
SValBuilder
>
svalBuilder
;
488
ASTContext &getContext() { return
svalBuilder
->getContext(); }
489
const ASTContext &getContext() const { return
svalBuilder
->getContext(); }
492
return
svalBuilder
->getBasicValueFactory();
495
SValBuilder
&getSValBuilder() {
496
return *
svalBuilder
;
500
return
svalBuilder
->getSymbolManager();
503
return
svalBuilder
->getSymbolManager()
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp
76
svalBuilder
(createSimpleSValBuilder(alloc, Ctx, *this)),
313
// FIXME: This should probably be part of
SValBuilder
.
315
SValBuilder
&
svalBuilder
= SM.getSValBuilder();
316
ASTContext &Ctx =
svalBuilder
.getContext();
319
BasicValueFactory &BVF =
svalBuilder
.getBasicValueFactory();
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>(),
RegionStore.cpp
651
SValBuilder
&
svalBuilder
;
672
svalBuilder
(StateMgr.getSValBuilder()), B(std::move(b)) {}
800
SValBuilder
&SVB, const ClusterBindings &Cluster,
872
SValBuilder
&SVB, const ClusterBindings &Cluster,
[
all
...]
Completed in 528 milliseconds