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
65
/// 3. Constraints on symbolic values (
GenericDataMap
)
75
typedef llvm::ImmutableMap<void*, void*>
GenericDataMap
;
87
GenericDataMap
GDM; // Custom data stored by a client of this class.
99
StoreRef st,
GenericDataMap
gdm);
125
GenericDataMap
getGDM() const { return GDM; }
127
void setGDM(
GenericDataMap
gdm) { GDM = gdm; }
131
/// have the same Environment, Store, and
GenericDataMap
.
448
ProgramState::
GenericDataMap
::Factory GDMFactory;
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp
46
StoreRef st,
GenericDataMap
gdm)
506
ProgramState::
GenericDataMap
M1 = St->getGDM();
507
ProgramState::
GenericDataMap
M2 = GDMFactory.add(M1, Key, Data);
518
ProgramState::
GenericDataMap
OldM = state->getGDM();
519
ProgramState::
GenericDataMap
NewM = GDMFactory.remove(OldM, Key);
Completed in 25 milliseconds