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();
276
if (const
SubRegion
*subReg = dyn_cast<
SubRegion
>(region)) {
CStringChecker.cpp
283
const
SubRegion
*superReg = cast<
SubRegion
>(ER->getSuperRegion());
[
all
...]
/external/llvm/include/llvm/Analysis/
RegionInfo.h
61
/// selected for SubRegions just one RegionNode containing the
subregion
is
66
/// @brief A RegionNode represents a
subregion
or a BasicBlock that is part of a
81
/// Use one bit to save, if this RegionNode is a
subregion
or BasicBlock
95
/// BasicBlock itself. If it represents a
subregion
, this
96
/// is the entry BasicBlock of the
subregion
.
97
/// @param isSubRegion If this RegionNode represents a
SubRegion
.
114
/// itself, otherwise we return the entry BasicBlock of the
Subregion
121
/// This can be either a BasicBlock or a
subregion
. Before calling getNodeAs()
128
/// @brief Is this RegionNode a
subregion
?
130
/// @return True if it contains a
subregion
. False if it contains
[
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);
405
const
SubRegion
*R);
422
const
SubRegion
*SR = cast<
SubRegion
>(R);
518
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)) {
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))
SymbolManager.cpp
204
SymbolManager::getExtentSymbol(const
SubRegion
*R) {
SimpleSValBuilder.cpp
[
all
...]
/external/llvm/lib/Analysis/
RegionInfo.cpp
340
void Region::addSubRegion(Region *
SubRegion
, bool moveChildren) {
341
assert(!
SubRegion
->parent && "
SubRegion
already has a parent!");
343
return R.get() ==
SubRegion
;
345
"
Subregion
already exists!");
347
SubRegion
->parent = this;
348
children.push_back(std::unique_ptr<Region>(
SubRegion
));
353
assert(
SubRegion
->children.size() == 0
360
if (
SubRegion
->contains(BB))
361
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
130
/// 4 | 2 = "Then"
subregion
, runs if the condition is true
132
/// |/ 4 = "Else" optional
subregion
, runs if the condition is false
150
/// |/ 2 = "Loop" optional
subregion
, with all exits at "Flow" block
412
// Edge from inside a
subregion
to its entry, ignore it
590
Region *
SubRegion
= Node->getNodeAs<Region>();
591
BasicBlock *OldExit =
SubRegion
->getExit();
599
if (!
SubRegion
->contains(BB))
621
SubRegion
->replaceExit(NewExit);
Completed in 539 milliseconds