OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:SVB
(Results
1 - 6
of
6
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.h
26
SValBuilder &
SVB
;
29
: SU(subengine),
SVB
(SB) {}
84
BasicValueFactory &getBasicVals() const { return
SVB
.getBasicValueFactory(); }
85
SymbolManager &getSymbolManager() const { return
SVB
.getSymbolManager(); }
ExprEngineCXX.cpp
94
SValBuilder &
SVB
= State->getStateManager().getSValBuilder();
95
ASTContext &Ctx =
SVB
.getContext();
99
LValue = State->getLValue(Ty,
SVB
.makeZeroArrayIndex(), LValue);
CallEvent.cpp
269
SValBuilder &
SVB
,
273
MemRegionManager &MRMgr =
SVB
.getRegionManager();
285
Loc ParamLoc =
SVB
.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
314
SValBuilder &
SVB
= getState()->getStateManager().getSValBuilder();
315
addParameterValuesToBindings(CalleeCtx, Bindings,
SVB
, *this,
483
SValBuilder &
SVB
= StateMgr.getSValBuilder();
486
Loc ThisLoc =
SVB
.getCXXThis(MD, CalleeCtx);
491
ASTContext &Ctx =
SVB
.getContext();
560
SValBuilder &
SVB
= getState()->getStateManager().getSValBuilder();
561
addParameterValuesToBindings(CalleeCtx, Bindings,
SVB
, *this
[
all
...]
ExprEngineCallAndReturn.cpp
566
SValBuilder &
SVB
= getSValBuilder();
568
SVal R =
SVB
.conjureSymbolVal(0, E, LCtx, ResultTy, Count);
[
all
...]
ExprEngine.cpp
487
SValBuilder &
SVB
= getSValBuilder();
488
InitVal =
SVB
.conjureSymbolVal(BMI->getInit(), stackFrame,
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
RetainCountChecker.cpp
[
all
...]
Completed in 36 milliseconds