OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SymbolicRegion
(Results
1 - 15
of
15
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
PointerSubChecker.cpp
59
if (isa<
SymbolicRegion
>(BaseLR) || isa<
SymbolicRegion
>(BaseRR))
CastSizeChecker.cpp
52
const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(R);
MallocChecker.cpp
235
const
SymbolicRegion
*R = cast<
SymbolicRegion
>(retVal.getAsRegion());
333
const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(R);
MacOSKeychainAPIChecker.cpp
204
if (!isa<
SymbolicRegion
>(R)) {
207
return cast<
SymbolicRegion
>(R)->getSymbol();
RetainCountChecker.cpp
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
SVals.cpp
40
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(R)) {
69
if (const
SymbolicRegion
*SymR = dyn_cast<
SymbolicRegion
>(R))
85
if (const
SymbolicRegion
*SymR = dyn_cast<
SymbolicRegion
>(SR))
RegionStore.cpp
652
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(baseR))
673
if (isa<AllocaRegion>(baseR) || isa<
SymbolicRegion
>(baseR)) {
885
if (isa<AllocaRegion>(MR) || isa<
SymbolicRegion
>(MR)) {
887
const
SymbolicRegion
*SR = cast<
SymbolicRegion
>(MR);
[
all
...]
SimpleConstraintManager.cpp
92
if (const
SymbolicRegion
*SymR = dyn_cast<
SymbolicRegion
>(SubR)) {
MemRegion.cpp
213
DefinedOrUnknownSVal
SymbolicRegion
::getExtent(SValBuilder &svalBuilder) const {
303
void
SymbolicRegion
::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym,
310
void
SymbolicRegion
::Profile(llvm::FoldingSetNodeID& ID) const {
311
SymbolicRegion
::ProfileRegion(ID, sym, getSuperRegion());
460
void
SymbolicRegion
::dumpToStream(raw_ostream &os) const {
687
const
SymbolicRegion
*MemRegionManager::getSymbolicRegion(SymbolRef sym) {
688
return getSubRegion<
SymbolicRegion
>(sym, getUnknownRegion());
SymbolManager.cpp
324
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(MR))
Store.cpp
71
if (isa<CodeTextRegion>(R) || isa<
SymbolicRegion
>(R))
BugReporterVisitors.cpp
351
while (R && !isa<
SymbolicRegion
>(R)) {
356
assert(isa<
SymbolicRegion
>(R));
ProgramState.cpp
580
if (const
SymbolicRegion
*SR = dyn_cast<
SymbolicRegion
>(R))
SimpleSValBuilder.cpp
693
!isa<
SymbolicRegion
>(LeftBase) && !isa<
SymbolicRegion
>(RightBase)) {
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h
545
///
SymbolicRegion
- A special, "non-concrete" region. Unlike other region
546
/// clases,
SymbolicRegion
represents a region that serves as an alias for
550
class
SymbolicRegion
: public SubRegion {
555
SymbolicRegion
(const SymbolRef s, const MemRegion* sreg)
981
const
SymbolicRegion
* getSymbolicRegion(SymbolRef sym);
[
all
...]
Completed in 582 milliseconds