OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SubRegion
(Results
1 - 16
of
16
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
ArrayBoundCheckerV2.cpp
46
const
SubRegion
*baseRegion;
53
RegionRawOffsetV2(const
SubRegion
* base, SVal offset)
57
const
SubRegion
*getRegion() const { return baseRegion; }
79
region = cast<
SubRegion
>(region)->getSuperRegion();
277
if (const
SubRegion
*subReg = dyn_cast<
SubRegion
>(region)) {
CStringChecker.cpp
288
const
SubRegion
*superReg = cast<
SubRegion
>(ER->getSuperRegion());
[
all
...]
/external/llvm/include/llvm/Analysis/
RegionInfo.h
49
/// selected for SubRegions just one RegionNode containing the
subregion
is
54
/// @brief A RegionNode represents a
subregion
or a BasicBlock that is part of a
71
/// Use one bit to save, if this RegionNode is a
subregion
or BasicBlock
85
/// BasicBlock itself. If it represents a
subregion
, this
86
/// is the entry BasicBlock of the
subregion
.
87
/// @param isSubRegion If this RegionNode represents a
SubRegion
.
104
/// itself, otherwise we return the entry BasicBlock of the
Subregion
111
/// This can be either a BasicBlock or a
subregion
. Before calling getNodeAs()
118
/// @brief Is this RegionNode a
subregion
?
120
/// @return True if it contains a
subregion
. False if it contains
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
MemRegion.cpp
148
bool
SubRegion
::isSubRegionOf(const MemRegion* R) const {
153
if (const
SubRegion
* sr = dyn_cast<
SubRegion
>(r))
161
MemRegionManager*
SubRegion
::getMemRegionManager() const {
162
const
SubRegion
* r = this;
165
if (const
SubRegion
*sr = dyn_cast<
SubRegion
>(superRegion)) {
425
void
SubRegion
::anchor() { }
849
const
SubRegion
* SR = dyn_cast<
SubRegion
>(this)
[
all
...]
SimpleConstraintManager.cpp
86
const
SubRegion
*SubR = dyn_cast<
SubRegion
>(R);
97
SubR = dyn_cast<
SubRegion
>(SubR->getSuperRegion());
RegionStore.cpp
149
bool add(const MemRegion* Parent, const MemRegion*
SubRegion
) {
153
M.insert(std::make_pair(Parent, F.add(F.getEmptySet(),
SubRegion
)));
157
I->second = F.add(I->second,
SubRegion
);
161
void process(SmallVectorImpl<const
SubRegion
*> &WL, const
SubRegion
*R);
187
RegionStoreSubRegionMap::process(SmallVectorImpl<const
SubRegion
*> &WL,
188
const
SubRegion
*R) {
191
if (const
SubRegion
*sr = dyn_cast<
SubRegion
>(superR))
423
if (const
SubRegion
*R = dyn_cast<SubRegion>(I.getKey().getRegion()))
[
all
...]
SVals.cpp
87
while (const
SubRegion
*SR = dyn_cast<
SubRegion
>(R)) {
ProgramState.cpp
566
// If this is a
subregion
, also visit the parent regions.
567
if (const
SubRegion
*SR = dyn_cast<
SubRegion
>(R))
674
if (const
SubRegion
*ER = dyn_cast<
SubRegion
>(Reg))
BugReporterVisitors.cpp
339
const
SubRegion
*R = cast<
SubRegion
>(L->getRegion());
341
R = dyn_cast<
SubRegion
>(R->getSuperRegion());
SymbolManager.cpp
221
SymbolManager::getExtentSymbol(const
SubRegion
*R) {
SimpleSValBuilder.cpp
[
all
...]
/external/llvm/lib/Analysis/
RegionInfo.cpp
328
void Region::addSubRegion(Region *
SubRegion
, bool moveChildren) {
329
assert(
SubRegion
->parent == 0 && "
SubRegion
already has a parent!");
330
assert(std::find(begin(), end(),
SubRegion
) == children.end()
331
&& "
Subregion
already exists!");
333
SubRegion
->parent = this;
334
children.push_back(
SubRegion
);
339
assert(
SubRegion
->children.size() == 0
346
if (
SubRegion
->contains(BB))
347
RI->setRegionFor(BB,
SubRegion
);
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
MemRegion.h
372
///
SubRegion
- A region that subsets another larger region. Most regions
373
/// are subclasses of
SubRegion
.
374
class
SubRegion
: public MemRegion {
379
SubRegion
(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {}
405
class AllocaRegion : public
SubRegion
{
413
:
SubRegion
(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
436
class TypedRegion : public
SubRegion
{
440
TypedRegion(const MemRegion* sReg, Kind k) :
SubRegion
(sReg, k) {}
577
class BlockDataRegion : public
SubRegion
{
585
:
SubRegion
(sreg, BlockDataRegionKind), BC(bc), LC(lc), ReferencedVars(0) {
[
all
...]
SymbolManager.h
39
class
SubRegion
;
235
///
SubRegion
::getExtent instead -- the value returned may not be a symbol.
237
const
SubRegion
*R;
240
SymbolExtent(SymbolID sym, const
SubRegion
*r)
243
const
SubRegion
*getRegion() const { return R; }
249
static void Profile(llvm::FoldingSetNodeID& profile, const
SubRegion
*R) {
513
const SymbolExtent *getExtentSymbol(const
SubRegion
*R);
Store.h
290
virtual bool Visit(const MemRegion* Parent, const MemRegion*
SubRegion
) = 0;
ProgramState.h
787
bool Visit(const MemRegion* Parent, const MemRegion*
SubRegion
) {
788
return scan(
SubRegion
);
Completed in 2103 milliseconds