OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:getSymbolicRegion
(Results
1 - 4
of
4
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
SValBuilder.cpp
82
return loc::MemRegionVal(MemMgr.
getSymbolicRegion
(sym));
98
return loc::MemRegionVal(MemMgr.
getSymbolicRegion
(sym));
114
return loc::MemRegionVal(MemMgr.
getSymbolicRegion
(sym));
129
return loc::MemRegionVal(MemMgr.
getSymbolicRegion
(sym));
145
return loc::MemRegionVal(MemMgr.
getSymbolicRegion
(sym));
MemRegion.cpp
686
///
getSymbolicRegion
- Retrieve or create a "symbolic" memory region.
687
const SymbolicRegion *MemRegionManager::
getSymbolicRegion
(SymbolRef sym) {
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h
239
return loc::MemRegionVal(MemMgr.
getSymbolicRegion
(sym));
MemRegion.h
980
///
getSymbolicRegion
- Retrieve or create a "symbolic" memory region.
981
const SymbolicRegion*
getSymbolicRegion
(SymbolRef sym);
[
all
...]
Completed in 93 milliseconds