Searched refs:ElementRegion (Results 1 - 14 of 14) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp42 const ElementRegion *ER = dyn_cast<ElementRegion>(R);
H A DReturnPointerRangeChecker.cpp45 const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(R);
H A DArrayBoundCheckerV2.cpp285 const ElementRegion *elemReg = cast<ElementRegion>(region);
H A DCStringChecker.cpp279 const ElementRegion *ER = dyn_cast<ElementRegion>(R);
821 // Are we dealing with an ElementRegion? If so, we should be invalidating
823 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
/external/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp65 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
142 // If we are casting from an ElementRegion to another type, the
145 // (1) Compute the "raw offset" of the ElementRegion from the
151 // casted-pointee type. If so, create a new ElementRegion with
154 // a new ElementRegion at offset 0 off the raw offset region.
161 const ElementRegion *elementR = cast<ElementRegion>(R);
183 // Otherwise, create a new ElementRegion at offset 0.
189 // we create an ElementRegion whose index is that value. Otherwise, we
193 // Compute the index for the new ElementRegion
[all...]
H A DMemRegion.cpp341 void ElementRegion::ProfileRegion(llvm::FoldingSetNodeID& ID,
350 void ElementRegion::Profile(llvm::FoldingSetNodeID& ID) const {
351 ElementRegion::ProfileRegion(ID, ElementType, Index, superRegion);
480 void ElementRegion::dumpToStream(raw_ostream &os) const {
824 const ElementRegion*
832 ElementRegion::ProfileRegion(ID, T, Idx, superRegion);
836 ElementRegion* R = cast_or_null<ElementRegion>(data);
839 R = (ElementRegion*) A.Allocate<ElementRegion>();
[all...]
H A DSimpleSValBuilder.cpp719 // ElementRegion path and the FieldRegion path below should be unified.
720 if (const ElementRegion *LeftER = dyn_cast<ElementRegion>(LeftMR)) {
721 // First see if the right region is also an ElementRegion.
722 const ElementRegion *RightER = dyn_cast<ElementRegion>(RightMR);
912 if (const ElementRegion *elemReg = dyn_cast<ElementRegion>(region)) {
H A DRegionStore.cpp328 SVal getBindingForElement(Store store, const ElementRegion *R);
1094 if (const ElementRegion* ER = dyn_cast<ElementRegion>(R)) {
1158 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
1200 const ElementRegion* R) {
1320 if (const ElementRegion *ER = dyn_cast<ElementRegion>(lazyBindingRegion))
1354 if (const ElementRegion *ER = dyn_cast<ElementRegion>(super
[all...]
H A DExprEngineCallAndReturn.cpp377 if (Target && isa<ElementRegion>(Target))
424 if (Target && isa<ElementRegion>(Target))
H A DExprEngineCXX.cpp237 const ElementRegion *EleReg =
H A DCallEvent.cpp157 // Are we dealing with an ElementRegion? If the element type is
159 // is a variable region then strip off the ElementRegion.
164 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
H A DProgramState.cpp670 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg))
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h952 class ElementRegion;
956 friend class ElementRegion;
974 class ElementRegion : public TypedValueRegion { class in namespace:clang::ento
980 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg) function in class:clang::ento::ElementRegion
1174 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1178 const ElementRegion *getElementRegionWithSuper(const ElementRegion *ER,
H A DStore.h145 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);

Completed in 695 milliseconds