| /external/clang/test/Analysis/ |
| pr_4164.c | 12 // resulting in an ElementRegion. 'getsockopt' is an unknown function that
13 // takes a void*, which means the ElementRegion should get stripped off.
30 // case we pass an ElementRegion to the invalidation logic. Since it is
31 // an ElementRegion that just layers on top of another typed region and the
32 // ElementRegion itself has elements whose type are integral (essentially raw
33 // data) we strip off the ElementRegion when doing the invalidation.
|
| elementtype.c | 7 // Test if we are using the canonical type for ElementRegion.
|
| exercise-ps.c | 14 // the RvalueType of an ElementRegion.
|
| rdar-6541136-region.c | 7 // This test case exercises the ElementRegion::getRValueType() logic.
|
| array-struct.c | 30 // p: ElementRegion, q: StringRegion
103 // Convert unsigned offset to signed when creating ElementRegion from
150 // an ElementRegion of type 'char'. Then load a nonloc::SymbolVal from it and
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| MPIChecker.cpp | 34 const ElementRegion *const ER = dyn_cast<ElementRegion>(MR);
63 const ElementRegion *const ER = dyn_cast<ElementRegion>(MR);
154 if (const ElementRegion *const ER = MR->getAs<ElementRegion>()) {
172 const ElementRegion *const ER = RegionManager->getElementRegion(
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| Store.cpp | 55 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
132 // If we are casting from an ElementRegion to another type, the
135 // (1) Compute the "raw offset" of the ElementRegion from the
141 // casted-pointee type. If so, create a new ElementRegion with
144 // a new ElementRegion at offset 0 off the raw offset region.
151 const ElementRegion *elementR = cast<ElementRegion>(R);
173 // Otherwise, create a new ElementRegion at offset 0.
179 // we create an ElementRegion whose index is that value. Otherwise, we
183 // Compute the index for the new ElementRegion
[all...] |
| MemRegion.cpp | 343 void ElementRegion::ProfileRegion(llvm::FoldingSetNodeID& ID,
352 void ElementRegion::Profile(llvm::FoldingSetNodeID& ID) const {
353 ElementRegion::ProfileRegion(ID, ElementType, Index, superRegion);
493 void ElementRegion::dumpToStream(raw_ostream &os) const {
643 const ElementRegion *ER = nullptr;
644 while ((ER = R->getAs<ElementRegion>())) {
960 const ElementRegion*
967 ElementRegion::ProfileRegion(ID, T, Idx, superRegion);
971 ElementRegion* R = cast_or_null<ElementRegion>(data)
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundChecker.cpp | 43 const ElementRegion *ER = dyn_cast<ElementRegion>(R);
|
| ReturnPointerRangeChecker.cpp | 46 const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(R);
|
| ArrayBoundCheckerV2.cpp | 274 const ElementRegion *elemReg = cast<ElementRegion>(region);
|
| /device/linaro/bootloader/edk2/BaseTools/Source/Python/GenFds/ |
| GenFds.py | 438 for ElementRegion in ElementFd.RegionList:
439 if ElementRegion.RegionType == 'FV':
440 for ElementRegionData in ElementRegion.RegionDataList:
445 return ElementRegion.BlockSizeOfRegion(ElementFd.BlockSizeList)
450 for ElementRegion in FdObj.RegionList:
451 if ElementRegion.RegionType == 'FV':
452 for ElementRegionData in ElementRegion.RegionDataList:
457 return ElementRegion.BlockSizeOfRegion(ElementFd.BlockSizeList)
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Regions.def | 79 REGION(ElementRegion, TypedValueRegion)
|
| MemRegion.h | 982 class ElementRegion;
986 friend class ElementRegion;
1004 class ElementRegion : public TypedValueRegion {
1010 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Regions.def | 79 REGION(ElementRegion, TypedValueRegion)
|
| MemRegion.h | 982 class ElementRegion;
986 friend class ElementRegion;
1004 class ElementRegion : public TypedValueRegion {
1010 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Regions.def | 79 REGION(ElementRegion, TypedValueRegion)
|
| MemRegion.h | 982 class ElementRegion;
986 friend class ElementRegion;
1004 class ElementRegion : public TypedValueRegion {
1010 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Regions.def | 79 REGION(ElementRegion, TypedValueRegion)
|
| MemRegion.h | 982 class ElementRegion;
986 friend class ElementRegion;
1004 class ElementRegion : public TypedValueRegion {
1010 ElementRegion(QualType elementType, NonLoc Idx, const MemRegion* sReg)
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Regions.def | 79 REGION(ElementRegion, TypedValueRegion)
|
| /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Regions.def | 79 REGION(ElementRegion, TypedValueRegion)
|
| /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Regions.def | 79 REGION(ElementRegion, TypedValueRegion)
|
| /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Regions.def | 79 REGION(ElementRegion, TypedValueRegion)
|
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Regions.def | 79 REGION(ElementRegion, TypedValueRegion)
|
