OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SymbolRegionValue
(Results
1 - 4
of
4
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SymbolManager.cpp
87
void
SymbolRegionValue
::dumpToStream(raw_ostream &os) const {
150
const
SymbolRegionValue
*
153
SymbolRegionValue
::Profile(profile, R);
157
SD = (SymExpr*) BPAlloc.Allocate<
SymbolRegionValue
>();
158
new (SD)
SymbolRegionValue
(SymbolCounter, R);
163
return cast<
SymbolRegionValue
>(SD);
324
QualType
SymbolRegionValue
::getType() const {
450
KnownLive = isLiveRegion(cast<
SymbolRegionValue
>(sym)->getRegion());
ProgramState.cpp
741
if (const
SymbolRegionValue
*SRV = dyn_cast<
SymbolRegionValue
>(*SI))
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h
124
class
SymbolRegionValue
: public SymbolData {
128
SymbolRegionValue
(SymbolID sym, const TypedValueRegion *r)
495
const
SymbolRegionValue
* getRegionValueSymbol(const TypedValueRegion* R);
/external/clang/lib/StaticAnalyzer/Checkers/
GenericTaintChecker.cpp
586
const
SymbolRegionValue
*Sm =dyn_cast<
SymbolRegionValue
>(SymReg->getSymbol());
Completed in 141 milliseconds