HomeSort by relevance Sort by last modified time
    Searched refs:ElementRegion (Results 1 - 13 of 13) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundChecker.cpp 41 const ElementRegion *ER = dyn_cast<ElementRegion>(R);
ReturnPointerRangeChecker.cpp 45 const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(R);
ArrayBoundCheckerV2.cpp 264 const ElementRegion *elemReg = cast<ElementRegion>(region);
CStringChecker.cpp 230 const ElementRegion *ER = dyn_cast<ElementRegion>(R);
752 // Are we dealing with an ElementRegion? If so, we should be invalidating
754 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
    [all...]
MallocChecker.cpp 466 while (const ElementRegion *ER = dyn_cast<ElementRegion>(MR))
  /external/clang/lib/StaticAnalyzer/Core/
Store.cpp 51 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
126 // If we are casting from an ElementRegion to another type, the
129 // (1) Compute the "raw offset" of the ElementRegion from the
135 // casted-pointee type. If so, create a new ElementRegion with
138 // a new ElementRegion at offset 0 off the raw offset region.
145 const ElementRegion *elementR = cast<ElementRegion>(R);
167 // Otherwise, create a new ElementRegion at offset 0.
173 // we create an ElementRegion whose index is that value. Otherwise, we
177 // Compute the index for the new ElementRegion
    [all...]
MemRegion.cpp 314 void ElementRegion::ProfileRegion(llvm::FoldingSetNodeID& ID,
323 void ElementRegion::Profile(llvm::FoldingSetNodeID& ID) const {
324 ElementRegion::ProfileRegion(ID, ElementType, Index, superRegion);
438 void ElementRegion::dumpToStream(llvm::raw_ostream& os) const {
650 const ElementRegion*
658 ElementRegion::ProfileRegion(ID, T, Idx, superRegion);
662 ElementRegion* R = cast_or_null<ElementRegion>(data);
665 R = (ElementRegion*) A.Allocate<ElementRegion>();
    [all...]
RegionStore.cpp 83 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
328 SVal RetrieveElement(Store store, const ElementRegion *R);
928 if (const ElementRegion* ER = dyn_cast<ElementRegion>(R)) {
    [all...]
SimpleSValBuilder.cpp 713 // ElementRegion path and the FieldRegion path below should be unified.
714 if (const ElementRegion *LeftER = dyn_cast<ElementRegion>(LeftMR)) {
715 // First see if the right region is also an ElementRegion.
716 const ElementRegion *RightER = dyn_cast<ElementRegion>(RightMR);
905 if (const ElementRegion *elemReg = dyn_cast<ElementRegion>(region)) {
    [all...]
BasicStore.cpp 231 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
CXXExprEngine.cpp 276 const ElementRegion *EleReg =
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h 775 class ElementRegion;
779 friend class ElementRegion;
796 class ElementRegion : public TypedRegion {
802 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg)
983 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
987 const ElementRegion *getElementRegionWithSuper(const ElementRegion *ER,
    [all...]
Store.h 141 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);

Completed in 34 milliseconds