HomeSort by relevance Sort by last modified time
    Searched refs:SymbolicRegion (Results 1 - 17 of 17) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
PointerSubChecker.cpp 60 if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR))
CastSizeChecker.cpp 52 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R);
MallocChecker.cpp 591 const SymbolicRegion *R =
592 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion());
738 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion());
    [all...]
GenericTaintChecker.cpp 582 const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg);
RetainCountChecker.cpp     [all...]
  /external/clang/lib/StaticAnalyzer/Core/
SVals.cpp 41 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) {
74 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(R))
90 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR))
MemRegion.cpp 220 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const {
336 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym,
343 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const {
344 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());
509 void SymbolicRegion::dumpToStream(raw_ostream &os) const {
874 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) {
875 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion());
878 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) {
879 return getSubRegion<SymbolicRegion>(Sym, getHeapRegion());
    [all...]
ProgramState.cpp 565 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
641 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R))
684 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg))
744 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) {
SimpleConstraintManager.cpp 89 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SubR)) {
RegionStore.cpp     [all...]
SymbolManager.cpp 420 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
Store.cpp 86 if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R))
SimpleSValBuilder.cpp 712 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) ||
    [all...]
BugReporter.cpp     [all...]
BugReporterVisitors.cpp 897 if (isa<SymbolicRegion>(R)) {
945 if (RegionRVal && isa<SymbolicRegion>(RegionRVal))
    [all...]
ExprEngine.cpp     [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h 691 /// SymbolicRegion - A special, "non-concrete" region. Unlike other region
692 /// clases, SymbolicRegion represents a region that serves as an alias for
696 class SymbolicRegion : public SubRegion {
701 SymbolicRegion(const SymbolRef s, const MemRegion* sreg)
    [all...]

Completed in 163 milliseconds