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
279
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
69
/// Use one bit to save, if this RegionNode is a
subregion
or BasicBlock
83
/// BasicBlock itself. If it represents a
subregion
, this
84
/// is the entry BasicBlock of the
subregion
.
85
/// @param isSubRegion If this RegionNode represents a
SubRegion
.
102
/// itself, otherwise we return the entry BasicBlock of the
Subregion
109
/// This can be either a BasicBlock or a
subregion
. Before calling getNodeAs()
116
/// @brief Is this RegionNode a
subregion
?
118
/// @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);
412
const
SubRegion
*R);
516
SVal getLazyBinding(const
SubRegion
*LazyBindingRegion,
542
std::pair<Store, const
SubRegion
*>
543
findLazyBinding(RegionBindingsConstRef B, const
SubRegion
*R
[
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)) {
433
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
617
// If this is a
subregion
, also visit the parent regions.
618
if (const
SubRegion
*SR = dyn_cast<
SubRegion
>(R)) {
735
if (const
SubRegion
*ER = dyn_cast<
SubRegion
>(Reg))
SymbolManager.cpp
205
SymbolManager::getExtentSymbol(const
SubRegion
*R) {
SimpleSValBuilder.cpp
[
all
...]
/external/llvm/lib/Analysis/
RegionInfo.cpp
344
void Region::addSubRegion(Region *
SubRegion
, bool moveChildren) {
345
assert(
SubRegion
->parent == 0 && "
SubRegion
already has a parent!");
346
assert(std::find(begin(), end(),
SubRegion
) == children.end()
347
&& "
Subregion
already exists!");
349
SubRegion
->parent = this;
350
children.push_back(
SubRegion
);
355
assert(
SubRegion
->children.size() == 0
362
if (
SubRegion
->contains(BB))
363
RI->setRegionFor(BB,
SubRegion
);
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h
39
class
SubRegion
;
237
///
SubRegion
::getExtent instead -- the value returned may not be a symbol.
239
const
SubRegion
*R;
242
SymbolExtent(SymbolID sym, const
SubRegion
*r)
245
const
SubRegion
*getRegion() const { return R; }
251
static void Profile(llvm::FoldingSetNodeID& profile, const
SubRegion
*R) {
516
const SymbolExtent *getExtentSymbol(const
SubRegion
*R);
MemRegion.h
144
/// Check if the region is a
subregion
of the given region.
415
///
SubRegion
- A region that subsets another larger region. Most regions
416
/// are subclasses of
SubRegion
.
417
class
SubRegion
: public MemRegion {
422
SubRegion
(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {}
448
class AllocaRegion : public
SubRegion
{
456
:
SubRegion
(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
479
class TypedRegion : public
SubRegion
{
483
TypedRegion(const MemRegion* sReg, Kind k) :
SubRegion
(sReg, k) {}
711
class SymbolicRegion : public
SubRegion
{
[
all
...]
/external/llvm/lib/Transforms/Scalar/
StructurizeCFG.cpp
129
/// 4 | 2 = "Then"
subregion
, runs if the condition is true
131
/// |/ 4 = "Else" optional
subregion
, runs if the condition is false
149
/// |/ 2 = "Loop" optional
subregion
, with all exits at "Flow" block
405
// Edge from inside a
subregion
to its entry, ignore it
586
Region *
SubRegion
= Node->getNodeAs<Region>();
587
BasicBlock *OldExit =
SubRegion
->getExit();
595
if (!
SubRegion
->contains(BB))
617
SubRegion
->replaceExit(NewExit);
Completed in 96 milliseconds