OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
full:baseregion
(Results
1 - 3
of
3
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundCheckerV2.cpp
46
const SubRegion *
baseRegion
;
50
:
baseRegion
(nullptr), byteOffset(UnknownVal()) {}
54
:
baseRegion
(base), byteOffset(offset) {}
57
const SubRegion *getRegion() const { return
baseRegion
; }
138
// CHECK UPPER BOUND: Is byteOffset >= extent(
baseRegion
)? If so,
/external/clang/lib/StaticAnalyzer/Core/
Store.cpp
437
const MemRegion*
BaseRegion
= Base.castAs<loc::MemRegionVal>().getRegion();
440
const ElementRegion *ElemR = dyn_cast<ElementRegion>(
BaseRegion
);
456
BaseRegion
, Ctx));
471
if (isa<ElementRegion>(
BaseRegion
->StripCasts()))
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h
236
const MemRegion *MakeElementRegion(const MemRegion *
baseRegion
,
Completed in 72 milliseconds