Searched refs:ElementRegion (Results 1 – 14 of 14) sorted by relevance
| /freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | MemRegion.cpp | 347 void ElementRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, in ProfileRegion()
356 void ElementRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
357 ElementRegion::ProfileRegion(ID, ElementType, Index, superRegion); in Profile()
497 void ElementRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
900 const ElementRegion*
908 ElementRegion::ProfileRegion(ID, T, Idx, superRegion); in getElementRegion()
912 ElementRegion* R = cast_or_null<ElementRegion>(data); in getElementRegion()
915 R = (ElementRegion*) A.Allocate<ElementRegion>(); in getElementRegion()
916 new (R) ElementRegion(T, Idx, superRegion); in getElementRegion()
1091 const ElementRegion *ER = cast<ElementRegion>(R); in StripCasts()
[all …]
|
| D | Store.cpp | 66 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R, in GetElementZeroRegion()
162 const ElementRegion *elementR = cast<ElementRegion>(R); in castRegion()
451 const ElementRegion *ElemR = dyn_cast<ElementRegion>(BaseRegion); in getLValueElement()
482 if (isa<ElementRegion>(BaseRegion->StripCasts())) in getLValueElement()
|
| D | SimpleSValBuilder.cpp | 771 const ElementRegion *RightER = dyn_cast<ElementRegion>(RightMR); in evalBinOpLL()
772 const ElementRegion *LeftER = dyn_cast<ElementRegion>(LeftMR); in evalBinOpLL()
907 if (const ElementRegion *elemReg = dyn_cast<ElementRegion>(region)) { in evalBinOpLN()
|
| D | RegionStore.cpp | 508 SVal getBindingForElement(RegionBindingsConstRef B, const ElementRegion *R);
1331 if (const ElementRegion* ER = dyn_cast<ElementRegion>(R)) { in getBinding()
1447 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in findLazyBinding()
1477 const ElementRegion* R) { in getBindingForElement()
1596 if (const ElementRegion *ER = dyn_cast<ElementRegion>(LazyBindingRegion)) in getLazyBinding()
1670 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Base)) { in getBindingForFieldOrElementCommon()
1682 if (isa<ElementRegion>(R)) { in getBindingForFieldOrElementCommon()
1999 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
2046 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
|
| D | ExprEngineCXX.cpp | 266 bool IsArray = isa<ElementRegion>(Target); in VisitCXXConstructExpr()
399 const ElementRegion *EleReg = in VisitCXXNewExpr()
|
| D | ProgramState.cpp | 711 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg)) in isTainted()
|
| D | ExprEngineCallAndReturn.cpp | 614 if (Target && isa<ElementRegion>(Target)) in mayInlineCallKind()
661 if (Target && isa<ElementRegion>(Target)) in mayInlineCallKind()
|
| /freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| D | ReturnPointerRangeChecker.cpp | 45 const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(R); in checkPreStmt()
|
| D | ArrayBoundChecker.cpp | 42 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in checkLocation()
|
| D | ArrayBoundCheckerV2.cpp | 284 const ElementRegion *elemReg = cast<ElementRegion>(region); in computeOffset()
|
| D | CStringChecker.cpp | 272 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in CheckLocation()
828 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in InvalidateBuffer()
|
| D | MallocChecker.cpp | 1231 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in ReportBadFree()
1747 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR)) in checkPreStmt()
|
| /freebsd-10-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | MemRegion.h | 989 class ElementRegion; variable
993 friend class ElementRegion;
1011 class ElementRegion : public TypedValueRegion {
1017 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg) in ElementRegion() function
1217 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1221 const ElementRegion *getElementRegionWithSuper(const ElementRegion *ER, in getElementRegionWithSuper()
|
| D | Store.h | 137 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);
|