/external/clang/lib/StaticAnalyzer/Checkers/ |
ArrayBoundChecker.cpp | 42 const ElementRegion *ER = dyn_cast<ElementRegion>(R);
|
ReturnPointerRangeChecker.cpp | 45 const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(R);
|
ArrayBoundCheckerV2.cpp | 284 const ElementRegion *elemReg = cast<ElementRegion>(region);
|
CStringChecker.cpp | 269 const ElementRegion *ER = dyn_cast<ElementRegion>(R); 809 // Are we dealing with an ElementRegion? If so, we should be invalidating 811 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { [all...] |
/external/clang/lib/StaticAnalyzer/Core/ |
MemRegion.cpp | 347 void ElementRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, 356 void ElementRegion::Profile(llvm::FoldingSetNodeID& ID) const { 357 ElementRegion::ProfileRegion(ID, ElementType, Index, superRegion); 488 void ElementRegion::dumpToStream(raw_ostream &os) const { 838 const ElementRegion* 846 ElementRegion::ProfileRegion(ID, T, Idx, superRegion); 850 ElementRegion* R = cast_or_null<ElementRegion>(data); 853 R = (ElementRegion*) A.Allocate<ElementRegion>(); [all...] |
Store.cpp | 66 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R, 143 // If we are casting from an ElementRegion to another type, the 146 // (1) Compute the "raw offset" of the ElementRegion from the 152 // casted-pointee type. If so, create a new ElementRegion with 155 // a new ElementRegion at offset 0 off the raw offset region. 162 const ElementRegion *elementR = cast<ElementRegion>(R); 184 // Otherwise, create a new ElementRegion at offset 0. 190 // we create an ElementRegion whose index is that value. Otherwise, we 194 // Compute the index for the new ElementRegion [all...] |
SimpleSValBuilder.cpp | 725 // ElementRegion path and the FieldRegion path below should be unified. 726 if (const ElementRegion *LeftER = dyn_cast<ElementRegion>(LeftMR)) { 727 // First see if the right region is also an ElementRegion. 728 const ElementRegion *RightER = dyn_cast<ElementRegion>(RightMR); [all...] |
RegionStore.cpp | 468 SVal getBindingForElement(RegionBindingsConstRef B, const ElementRegion *R); [all...] |
ExprEngineCXX.cpp | 312 const ElementRegion *EleReg =
|
CallEvent.cpp | 168 // Are we dealing with an ElementRegion? If the element type is 170 // is a variable region then strip off the ElementRegion. 175 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { [all...] |
ExprEngineCallAndReturn.cpp | 603 if (Target && isa<ElementRegion>(Target)) 650 if (Target && isa<ElementRegion>(Target)) [all...] |
ProgramState.cpp | 681 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg))
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
MemRegion.h | 968 class ElementRegion; 972 friend class ElementRegion; 990 class ElementRegion : public TypedValueRegion { 996 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg) [all...] |
Store.h | 152 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);
|