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
135
SValBuilder
&
svalBuilder
= C.getSValBuilder();
138
DefinedOrUnknownSVal Zero =
svalBuilder
.makeZeroVal(Ty);
140
SVal LessThanZeroVal =
svalBuilder
.evalBinOp(state, BO_LT, sizeD, Zero, Ty);
157
svalBuilder
.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>();
161
SVal EleSizeVal =
svalBuilder
.makeIntVal(EleSize.getQuantity(), SizeTy);
164
SVal ArraySizeVal =
svalBuilder
.evalBinOpNN(
170
state->getRegion(VD, LC)->getExtent(
svalBuilder
);
173
svalBuilder
.evalEQ(state, Extent, ArraySize);
StreamChecker.cpp
213
SValBuilder
&
svalBuilder
= C.getSValBuilder();
215
DefinedSVal RetVal =
svalBuilder
.conjureSymbolVal(nullptr, CE, LCtx,
CStringChecker.cpp
222
SValBuilder
&
svalBuilder
= C.getSValBuilder();
223
DefinedOrUnknownSVal zero =
svalBuilder
.makeZeroVal(Ty);
224
return state->assume(
svalBuilder
.evalEQ(state, *val, zero));
293
SValBuilder
&
svalBuilder
= C.getSValBuilder();
295
svalBuilder
.convertToArrayIndex(superReg->getExtent(
svalBuilder
));
357
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
; }
306
// FIXME: Remove when we migrate over to just using
SValBuilder
.
467
return X.isValid() ?
svalBuilder
.evalMinus(X.castAs<NonLoc>()) : X;
471
return X.isValid() ?
svalBuilder
.evalComplement(X.castAs<NonLoc>()) : X;
478
return
svalBuilder
.evalBinOpNN(state, op, L, R, T)
[
all
...]
ProgramState.h
22
#include "clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder
.h"
465
std::unique_ptr<
SValBuilder
>
svalBuilder
;
487
ASTContext &getContext() { return
svalBuilder
->getContext(); }
488
const ASTContext &getContext() const { return
svalBuilder
->getContext(); }
491
return
svalBuilder
->getBasicValueFactory();
494
SValBuilder
&getSValBuilder() {
495
return *
svalBuilder
;
499
return
svalBuilder
->getSymbolManager();
502
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
649
SValBuilder
&
svalBuilder
;
670
svalBuilder
(StateMgr.getSValBuilder()),
799
SValBuilder
&SVB, const ClusterBindings &Cluster,
871
SValBuilder
&SVB, const ClusterBindings &Cluster,
[
all
...]
Completed in 190 milliseconds