OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:SubRegion
(Results
1 - 13
of
13
) 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();
266
if (const
SubRegion
*subReg = dyn_cast<
SubRegion
>(region)) {
CStringChecker.cpp
292
const
SubRegion
*superReg = cast<
SubRegion
>(ER->getSuperRegion());
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
RegionStore.cpp
52
explicit BindingKey(const
SubRegion
*r, const
SubRegion
*Base, Kind k)
76
const
SubRegion
*getConcreteOffsetRegion() const {
78
return reinterpret_cast<const
SubRegion
*>(static_cast<uintptr_t>(Data));
114
return BindingKey(cast<
SubRegion
>(R), cast<
SubRegion
>(RO.getRegion()), k);
399
const
SubRegion
*R);
416
const
SubRegion
*SR = cast<
SubRegion
>(R);
512
SVal getLazyBinding(const
SubRegion
*LazyBindingRegion
[
all
...]
MemRegion.cpp
149
bool
SubRegion
::isSubRegionOf(const MemRegion* R) const {
154
if (const
SubRegion
* sr = dyn_cast<
SubRegion
>(r))
162
MemRegionManager*
SubRegion
::getMemRegionManager() const {
163
const
SubRegion
* r = this;
166
if (const
SubRegion
*sr = dyn_cast<
SubRegion
>(superRegion)) {
435
void
SubRegion
::anchor() { }
[
all
...]
SVals.cpp
67
/// When IncludeBaseRegions is set to true and the
SubRegion
is non-symbolic,
93
while (const
SubRegion
*SR = dyn_cast<
SubRegion
>(R)) {
SymbolManager.cpp
204
SymbolManager::getExtentSymbol(const
SubRegion
*R) {
398
for (auto SR = dyn_cast<
SubRegion
>(region); SR;
399
SR = dyn_cast<
SubRegion
>(SR->getSuperRegion())) {
ProgramState.cpp
598
// If this is a
subregion
, also visit the parent regions.
599
if (const
SubRegion
*SR = dyn_cast<
SubRegion
>(R)) {
716
if (const
SubRegion
*ER = dyn_cast<
SubRegion
>(Reg))
SimpleSValBuilder.cpp
[
all
...]
/external/llvm/include/llvm/Analysis/
RegionInfo.h
102
/// selected for SubRegions just one RegionNode containing the
subregion
is
107
/// @brief A RegionNode represents a
subregion
or a BasicBlock that is part of a
129
/// Use one bit to save, if this RegionNode is a
subregion
or BasicBlock
143
/// BasicBlock itself. If it represents a
subregion
, this
144
/// is the entry BasicBlock of the
subregion
.
145
/// @param isSubRegion If this RegionNode represents a
SubRegion
.
164
/// itself, otherwise we return the entry BasicBlock of the
Subregion
171
/// This can be either a BasicBlock or a
subregion
. Before calling getNodeAs()
177
/// @brief Is this RegionNode a
subregion
?
179
/// @return True if it contains a
subregion
. False if it contains
[
all
...]
RegionInfoImpl.h
377
void RegionBase<Tr>::addSubRegion(RegionT *
SubRegion
, bool moveChildren) {
378
assert(!
SubRegion
->parent && "
SubRegion
already has a parent!");
380
return R.get() ==
SubRegion
;
382
"
Subregion
already exists!");
384
SubRegion
->parent = static_cast<RegionT *>(this);
385
children.push_back(std::unique_ptr<RegionT>(
SubRegion
));
390
assert(
SubRegion
->children.empty() &&
397
if (
SubRegion
->contains(BB))
398
RI->setRegionFor(BB,
SubRegion
);
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h
36
class
SubRegion
;
234
///
SubRegion
::getExtent instead -- the value returned may not be a symbol.
236
const
SubRegion
*R;
239
SymbolExtent(SymbolID sym, const
SubRegion
*r)
242
const
SubRegion
*getRegion() const { return R; }
248
static void Profile(llvm::FoldingSetNodeID& profile, const
SubRegion
*R) {
513
const SymbolExtent *getExtentSymbol(const
SubRegion
*R);
MemRegion.h
141
/// Check if the region is a
subregion
of the given region.
412
///
SubRegion
- A region that subsets another larger region. Most regions
413
/// are subclasses of
SubRegion
.
414
class
SubRegion
: public MemRegion {
419
SubRegion
(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {}
445
class AllocaRegion : public
SubRegion
{
453
:
SubRegion
(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
476
class TypedRegion : public
SubRegion
{
480
TypedRegion(const MemRegion* sReg, Kind k) :
SubRegion
(sReg, k) {}
711
class SymbolicRegion : public
SubRegion
{
[
all
...]
/external/llvm/lib/Transforms/Scalar/
StructurizeCFG.cpp
134
/// 4 | 2 = "Then"
subregion
, runs if the condition is true
136
/// |/ 4 = "Else" optional
subregion
, runs if the condition is false
154
/// |/ 2 = "Loop" optional
subregion
, with all exits at "Flow" block
469
// Edge from inside a
subregion
to its entry, ignore it
498
((*OI)->isSubRegion() ? "
SubRegion
with entry: " : "") <<
651
Region *
SubRegion
= Node->getNodeAs<Region>();
652
BasicBlock *OldExit =
SubRegion
->getExit();
660
if (!
SubRegion
->contains(BB))
682
SubRegion
->replaceExit(NewExit);
Completed in 584 milliseconds