HomeSort by relevance Sort by last modified time
    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