OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:getSymbolManager
(Results
1 - 9
of
9
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h
107
SymbolManager &
getSymbolManager
() {
108
return getSValBuilder().
getSymbolManager
();
ProgramState.h
139
SymbolManager &
getSymbolManager
() const;
467
SymbolManager &
getSymbolManager
() {
468
return svalBuilder->
getSymbolManager
();
470
const SymbolManager &
getSymbolManager
() const {
471
return svalBuilder->
getSymbolManager
();
695
inline SymbolManager &ProgramState::
getSymbolManager
() const {
696
return getStateManager().
getSymbolManager
();
SValBuilder.h
139
SymbolManager &
getSymbolManager
() { return SymMgr; }
140
const SymbolManager &
getSymbolManager
() const { return SymMgr; }
ExprEngine.h
246
SymbolManager&
getSymbolManager
() { return SymMgr; }
247
const SymbolManager&
getSymbolManager
() const { return SymMgr; }
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
141
QualType T = State->
getSymbolManager
().getType(Sym);
162
SymbolManager &SymMgr = state->
getSymbolManager
();
RangeConstraintManager.cpp
291
QualType T = state->
getSymbolManager
().getType(sym);
342
QualType T = state->
getSymbolManager
().getType(sym);
363
QualType T = state->
getSymbolManager
().getType(sym);
384
QualType T = state->
getSymbolManager
().getType(sym);
406
QualType T = state->
getSymbolManager
().getType(sym);
MemRegion.cpp
187
return nonloc::SymbolVal(svalBuilder.
getSymbolManager
().getExtentSymbol(this));
212
return nonloc::SymbolVal(svalBuilder.
getSymbolManager
().getExtentSymbol(this));
216
return nonloc::SymbolVal(svalBuilder.
getSymbolManager
().getExtentSymbol(this));
[
all
...]
ExprEngine.cpp
79
SymMgr(StateMgr.
getSymbolManager
()),
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
MacOSKeychainAPIChecker.cpp
250
Builder.
getSymbolManager
().getType(RetSym));
478
C.
getSymbolManager
().addSymbolDependency(V, RetStatusSymbol);
Completed in 64 milliseconds