OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:SVB
(Results
1 - 8
of
8
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.h
26
SValBuilder &
SVB
;
29
: SU(subengine),
SVB
(SB) {}
82
BasicValueFactory &getBasicVals() const { return
SVB
.getBasicValueFactory(); }
83
SymbolManager &getSymbolManager() const { return
SVB
.getSymbolManager(); }
SimpleConstraintManager.cpp
73
SValBuilder &
SVB
= state->getStateManager().getSValBuilder();
79
T =
SVB
.getContext().VoidPtrTy;
81
Cond =
SVB
.evalCast(*LV,
SVB
.getContext().BoolTy, T).castAs<DefinedSVal>();
ExprEngineCXX.cpp
94
SValBuilder &
SVB
= State->getStateManager().getSValBuilder();
95
ASTContext &Ctx =
SVB
.getContext();
99
LValue = State->getLValue(Ty,
SVB
.makeZeroArrayIndex(), LValue);
CallEvent.cpp
287
SValBuilder &
SVB
,
290
MemRegionManager &MRMgr =
SVB
.getRegionManager();
303
Loc ParamLoc =
SVB
.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
322
SValBuilder &
SVB
= getState()->getStateManager().getSValBuilder();
323
addParameterValuesToBindings(CalleeCtx, Bindings,
SVB
, *this,
491
SValBuilder &
SVB
= StateMgr.getSValBuilder();
494
Loc ThisLoc =
SVB
.getCXXThis(MD, CalleeCtx);
499
ASTContext &Ctx =
SVB
.getContext();
561
SValBuilder &
SVB
= getState()->getStateManager().getSValBuilder();
562
addParameterValuesToBindings(CalleeCtx, Bindings,
SVB
, *this
[
all
...]
ExprEngineCallAndReturn.cpp
566
SValBuilder &
SVB
= getSValBuilder();
568
SVal R =
SVB
.conjureSymbolVal(nullptr, E, LCtx, ResultTy, Count);
[
all
...]
ExprEngine.cpp
494
SValBuilder &
SVB
= getSValBuilder();
495
InitVal =
SVB
.conjureSymbolVal(BMI->getInit(), stackFrame,
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
BuiltinFunctionChecker.cpp
85
SValBuilder &
SVB
= C.getSValBuilder();
86
BasicValueFactory &BVF =
SVB
.getBasicValueFactory();
88
V =
SVB
.makeIntVal(Result);
RetainCountChecker.cpp
[
all
...]
Completed in 160 milliseconds