HomeSort by relevance Sort by last modified time
    Searched refs:SymbolicRegion (Results 1 - 16 of 16) 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 436 const SymbolicRegion *R =
437 dyn_cast_or_null<SymbolicRegion>(retVal.getAsRegion());
552 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R);
    [all...]
GenericTaintChecker.cpp 578 const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg);
RetainCountChecker.cpp     [all...]
  /external/clang/lib/StaticAnalyzer/Core/
SVals.cpp 40 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) {
72 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(R))
88 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR))
SimpleConstraintManager.cpp 90 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SubR)) {
RegionStore.cpp 673 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR))
694 if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) {
    [all...]
MemRegion.cpp 215 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const {
330 void SymbolicRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, SymbolRef sym,
337 void SymbolicRegion::Profile(llvm::FoldingSetNodeID& ID) const {
338 SymbolicRegion::ProfileRegion(ID, sym, getSuperRegion());
501 void SymbolicRegion::dumpToStream(raw_ostream &os) const {
799 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) {
800 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion());
    [all...]
ProgramState.cpp 562 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
628 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R))
671 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg))
SymbolManager.cpp 435 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
Store.cpp 73 if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R))
BugReporter.cpp     [all...]
SimpleSValBuilder.cpp 704 !isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) {
    [all...]
BugReporterVisitors.cpp 340 while (R && !isa<SymbolicRegion>(R)) {
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h 634 /// SymbolicRegion - A special, "non-concrete" region. Unlike other region
635 /// clases, SymbolicRegion represents a region that serves as an alias for
639 class SymbolicRegion : public SubRegion {
644 SymbolicRegion(const SymbolRef s, const MemRegion* sreg)
    [all...]

Completed in 418 milliseconds