| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.cpp | 34 const ElementRegion *const ER = dyn_cast<ElementRegion>(MR); in checkDoubleNonblocking()
63 const ElementRegion *const ER = dyn_cast<ElementRegion>(MR); in checkUnmatchedWaits()
154 if (const ElementRegion *const ER = MR->getAs<ElementRegion>()) { in allRegionsUsedByWait()
172 const ElementRegion *const ER = RegionManager->getElementRegion( in allRegionsUsedByWait()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | MemRegion.cpp | 343 void ElementRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, in ProfileRegion()
352 void ElementRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
353 ElementRegion::ProfileRegion(ID, ElementType, Index, superRegion); in Profile()
493 void ElementRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
643 const ElementRegion *ER = nullptr; in getDescriptiveName()
644 while ((ER = R->getAs<ElementRegion>())) { in getDescriptiveName()
960 const ElementRegion*
967 ElementRegion::ProfileRegion(ID, T, Idx, superRegion); in getElementRegion()
971 ElementRegion* R = cast_or_null<ElementRegion>(data); in getElementRegion()
974 R = A.Allocate<ElementRegion>(); in getElementRegion()
[all …]
|
| D | Store.cpp | 55 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R, in GetElementZeroRegion()
151 const ElementRegion *elementR = cast<ElementRegion>(R); in castRegion()
440 const ElementRegion *ElemR = dyn_cast<ElementRegion>(BaseRegion); in getLValueElement()
471 if (isa<ElementRegion>(BaseRegion->StripCasts())) in getLValueElement()
|
| D | SimpleSValBuilder.cpp | 770 const ElementRegion *RightER = dyn_cast<ElementRegion>(RightMR); in evalBinOpLL()
771 const ElementRegion *LeftER = dyn_cast<ElementRegion>(LeftMR); in evalBinOpLL()
906 if (const ElementRegion *elemReg = dyn_cast<ElementRegion>(region)) { in evalBinOpLN()
|
| D | RegionStore.cpp | 500 SVal getBindingForElement(RegionBindingsConstRef B, const ElementRegion *R);
1425 if (const ElementRegion* ER = dyn_cast<ElementRegion>(R)) { in getBinding()
1541 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in findLazyBinding()
1571 const ElementRegion* R) { in getBindingForElement()
1690 if (const ElementRegion *ER = dyn_cast<ElementRegion>(LazyBindingRegion)) in getLazyBinding()
1764 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Base)) { in getBindingForFieldOrElementCommon()
1776 if (isa<ElementRegion>(R)) { in getBindingForFieldOrElementCommon()
2093 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
2140 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
|
| D | ExprEngineCXX.cpp | 334 bool IsArray = isa<ElementRegion>(Target); in VisitCXXConstructExpr()
493 const ElementRegion *EleReg = in VisitCXXNewExpr()
|
| D | ProgramState.cpp | 710 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg)) in isTainted()
|
| D | ExprEngineCallAndReturn.cpp | 602 if (Target && isa<ElementRegion>(Target)) in mayInlineCallKind()
649 if (Target && isa<ElementRegion>(Target)) in mayInlineCallKind()
|
| D | SymbolManager.cpp | 400 if (auto ER = dyn_cast<ElementRegion>(SR)) { in markElementIndicesLive()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundChecker.cpp | 43 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in checkLocation()
|
| D | ReturnPointerRangeChecker.cpp | 46 const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(R); in checkPreStmt()
|
| D | ArrayBoundCheckerV2.cpp | 274 const ElementRegion *elemReg = cast<ElementRegion>(region); in computeOffset()
|
| D | CStringChecker.cpp | 288 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in CheckLocation()
872 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in IsFirstBufInBound()
910 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in InvalidateBuffer()
|
| D | PointerArithChecker.cpp | 129 Region = Region->getAs<ElementRegion>()->getSuperRegion(); in getArrayRegion()
|
| D | MallocChecker.cpp | 1620 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in ReportBadFree()
2242 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR)) in checkPreStmt()
|
| D | NullabilityChecker.cpp | 302 if (auto ElementReg = Region->getAs<ElementRegion>()) in getTrackRegion()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | MemRegion.h | 982 class ElementRegion; variable
986 friend class ElementRegion;
1004 class ElementRegion : public TypedValueRegion {
1010 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg) in ElementRegion() function
1211 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1215 const ElementRegion *getElementRegionWithSuper(const ElementRegion *ER, in getElementRegionWithSuper()
|
| D | Regions.def | 79 REGION(ElementRegion, TypedValueRegion)
|
| D | Store.h | 137 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 160 std::string VisitElementRegion(const ElementRegion *R) { in VisitElementRegion()
|
| /external/clang/test/Analysis/ |
| D | misc-ps.m | 445 // second line, 'p = &p[i]', p is assigned an ElementRegion whose index
446 // is a 16-bit integer. On the third line, a new ElementRegion is created
450 // ElementRegion is created.
|
| D | misc-ps-region-store.m | 449 // Exercise creating ElementRegion with symbolic super region.
|