| /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 | 271 const ElementRegion *ER = dyn_cast<ElementRegion>(R);
811 // Are we dealing with an ElementRegion? If so, we should be invalidating
813 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 {
890 const ElementRegion*
898 ElementRegion::ProfileRegion(ID, T, Idx, superRegion);
902 ElementRegion* R = cast_or_null<ElementRegion>(data);
905 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 | 750 const ElementRegion *RightER = dyn_cast<ElementRegion>(RightMR);
751 const ElementRegion *LeftER = dyn_cast<ElementRegion>(LeftMR);
[all...] |
| RegionStore.cpp | 502 SVal getBindingForElement(RegionBindingsConstRef B, const ElementRegion *R);
[all...] |
| ExprEngineCXX.cpp | 260 bool IsArray = isa<ElementRegion>(Target);
388 const ElementRegion *EleReg =
|
| ExprEngineCallAndReturn.cpp | 614 if (Target && isa<ElementRegion>(Target))
661 if (Target && isa<ElementRegion>(Target))
[all...] |
| ProgramState.cpp | 729 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg))
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| MemRegion.h | 986 class ElementRegion;
990 friend class ElementRegion;
1008 class ElementRegion : public TypedValueRegion {
1014 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg)
[all...] |
| Store.h | 137 const ElementRegion *GetElementZeroRegion(const MemRegion *R, QualType T);
|
