Searched refs:ElementRegion (Results 1 - 14 of 14) sorted by relevance
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ArrayBoundChecker.cpp | 42 const ElementRegion *ER = dyn_cast<ElementRegion>(R);
|
H A D | ReturnPointerRangeChecker.cpp | 45 const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(R);
|
H A D | ArrayBoundCheckerV2.cpp | 285 const ElementRegion *elemReg = cast<ElementRegion>(region);
|
H A D | CStringChecker.cpp | 279 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 D | Store.cpp | 65 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 D | MemRegion.cpp | 341 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 D | SimpleSValBuilder.cpp | 719 // 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 D | RegionStore.cpp | 328 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 D | ExprEngineCallAndReturn.cpp | 377 if (Target && isa<ElementRegion>(Target)) 424 if (Target && isa<ElementRegion>(Target))
|
H A D | ExprEngineCXX.cpp | 237 const ElementRegion *EleReg =
|
H A D | CallEvent.cpp | 157 // 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 D | ProgramState.cpp | 670 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg))
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | MemRegion.h | 952 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 D | Store.h | 145 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);
|
Completed in 695 milliseconds