Searched refs:SymbolicRegion (Results 1 - 16 of 16) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DPointerSubChecker.cpp60 if (isa<SymbolicRegion>(BaseLR) || isa<SymbolicRegion>(BaseRR))
H A DCastSizeChecker.cpp52 const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R);
H A DGenericTaintChecker.cpp582 const SymbolicRegion *SymReg = dyn_cast_or_null<SymbolicRegion>(MemReg);
H A DMallocChecker.cpp769 const SymbolicRegion *R =
770 dyn_cast_or_null<SymbolicRegion>(RetVal.getAsRegion());
1017 const SymbolicRegion *SrBase = dyn_cast<SymbolicRegion>(R->getBaseRegion());
1735 if (const SymbolicRegion *BMR =
1736 dyn_cast<SymbolicRegion>(MR->getBaseRegion()))
/external/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp41 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R)) {
76 if (const SymbolicRegion *SymR = IncludeBaseRegions ?
78 dyn_cast<SymbolicRegion>(R->StripCasts()))
94 if (const SymbolicRegion *SymR = dyn_cast<SymbolicRegion>(SR))
H A DMemRegion.cpp220 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 {
926 const SymbolicRegion *MemRegionManager::getSymbolicRegion(SymbolRef sym) {
927 return getSubRegion<SymbolicRegion>(sym, getUnknownRegion());
930 const SymbolicRegion *MemRegionManager::getSymbolicHeapRegion(SymbolRef Sym) {
931 return getSubRegion<SymbolicRegion>(Sym, getHeapRegion());
1098 const SymbolicRegion *MemRegio
[all...]
H A DProgramState.cpp613 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
689 if (const SymbolicRegion *SR = dyn_cast_or_null<SymbolicRegion>(R))
732 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg))
792 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(Reg)) {
H A DRegionStore.cpp1033 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(baseR)) {
1051 if (isa<AllocaRegion>(baseR) || isa<SymbolicRegion>(baseR)) {
1286 isa<SymbolicRegion>(MR) ||
1292 const SymbolicRegion *SR = cast<SymbolicRegion>(MR);
1393 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
1910 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(
[all...]
H A DStore.cpp86 if (isa<CodeTextRegion>(R) || isa<SymbolicRegion>(R))
301 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
H A DSymbolManager.cpp420 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
H A DSimpleConstraintManager.cpp96 if (const SymbolicRegion *SymR = R->getSymbolicBase()) {
H A DSimpleSValBuilder.cpp737 ((!isa<SymbolicRegion>(LeftBase) && !isa<SymbolicRegion>(RightBase)) ||
H A DBugReporter.cpp2586 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
2620 if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(R))
H A DExprEngine.cpp1876 if (const SymbolicRegion *R = (*I)->StripCasts()->getAs<SymbolicRegion>())
H A DBugReporterVisitors.cpp1049 if (RegionRVal && isa<SymbolicRegion>(RegionRVal)) {
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h44 class SymbolicRegion;
151 const SymbolicRegion *getSymbolicBase() const;
706 /// SymbolicRegion - A special, "non-concrete" region. Unlike other region
707 /// clases, SymbolicRegion represents a region that serves as an alias for
711 class SymbolicRegion : public SubRegion { class in namespace:clang::ento
716 SymbolicRegion(const SymbolRef s, const MemRegion* sreg) function in class:clang::ento::SymbolicRegion
1195 const SymbolicRegion* getSymbolicRegion(SymbolRef Sym);
1198 const SymbolicRegion *getSymbolicHeapRegion(SymbolRef sym);

Completed in 161 milliseconds