OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:GenericDataMap
(Results
1 - 2
of
2
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h
67
/// 3. Constraints on symbolic values (
GenericDataMap
)
77
typedef llvm::ImmutableMap<void*, void*>
GenericDataMap
;
89
GenericDataMap
GDM; // Custom data stored by a client of this class.
101
StoreRef st,
GenericDataMap
gdm);
127
GenericDataMap
getGDM() const { return GDM; }
129
void setGDM(
GenericDataMap
gdm) { GDM = gdm; }
133
/// have the same Environment, Store, and
GenericDataMap
.
456
ProgramState::
GenericDataMap
::Factory GDMFactory;
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp
46
StoreRef st,
GenericDataMap
gdm)
485
ProgramState::
GenericDataMap
M1 = St->getGDM();
486
ProgramState::
GenericDataMap
M2 = GDMFactory.add(M1, Key, Data);
497
ProgramState::
GenericDataMap
OldM = state->getGDM();
498
ProgramState::
GenericDataMap
NewM = GDMFactory.remove(OldM, Key);
Completed in 482 milliseconds