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
44
const
SubRegion
*baseRegion;
51
RegionRawOffsetV2(const
SubRegion
* base, SVal offset)
55
const
SubRegion
*getRegion() const { return baseRegion; }
77
region = cast<
SubRegion
>(region)->getSuperRegion();
258
if (const
SubRegion
*subReg = dyn_cast<
SubRegion
>(region)) {
CStringChecker.cpp
266
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/
RegionStore.cpp
148
bool add(const MemRegion* Parent, const MemRegion*
SubRegion
) {
152
M.insert(std::make_pair(Parent, F.add(F.getEmptySet(),
SubRegion
)));
156
I->second = F.add(I->second,
SubRegion
);
160
void process(SmallVectorImpl<const
SubRegion
*> &WL, const
SubRegion
*R);
186
RegionStoreSubRegionMap::process(SmallVectorImpl<const
SubRegion
*> &WL,
187
const
SubRegion
*R) {
190
if (const
SubRegion
*sr = dyn_cast<
SubRegion
>(superR))
405
if (const
SubRegion
*R = dyn_cast<SubRegion>(I.getKey().getRegion()))
[
all
...]
SimpleConstraintManager.cpp
88
const
SubRegion
*SubR = dyn_cast<
SubRegion
>(R);
99
SubR = dyn_cast<
SubRegion
>(SubR->getSuperRegion());
MemRegion.cpp
146
bool
SubRegion
::isSubRegionOf(const MemRegion* R) const {
151
if (const
SubRegion
* sr = dyn_cast<
SubRegion
>(r))
159
MemRegionManager*
SubRegion
::getMemRegionManager() const {
160
const
SubRegion
* r = this;
163
if (const
SubRegion
*sr = dyn_cast<
SubRegion
>(superRegion)) {
737
const
SubRegion
* SR = dyn_cast<
SubRegion
>(this);
741
SR = dyn_cast<
SubRegion
>(R)
[
all
...]
SVals.cpp
84
while (const
SubRegion
*SR = dyn_cast<
SubRegion
>(R)) {
BugReporterVisitors.cpp
350
const
SubRegion
*R = cast<
SubRegion
>(L->getRegion());
352
R = dyn_cast<
SubRegion
>(R->getSuperRegion());
ProgramState.cpp
584
// If this is a
subregion
, also visit the parent regions.
585
if (const
SubRegion
*SR = dyn_cast<
SubRegion
>(R))
SymbolManager.cpp
144
SymbolManager::getExtentSymbol(const
SubRegion
*R) {
SimpleSValBuilder.cpp
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h
39
class
SubRegion
;
201
///
SubRegion
::getExtent instead -- the value returned may not be a symbol.
203
const
SubRegion
*R;
206
SymbolExtent(SymbolID sym, const
SubRegion
*r)
209
const
SubRegion
*getRegion() const { return R; }
215
static void Profile(llvm::FoldingSetNodeID& profile, const
SubRegion
*R) {
397
const SymbolExtent *getExtentSymbol(const
SubRegion
*R);
MemRegion.h
291
///
SubRegion
- A region that subsets another larger region. Most regions
292
/// are subclasses of
SubRegion
.
293
class
SubRegion
: public MemRegion {
296
SubRegion
(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {}
322
class AllocaRegion : public
SubRegion
{
330
:
SubRegion
(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
353
class TypedRegion : public
SubRegion
{
355
TypedRegion(const MemRegion* sReg, Kind k) :
SubRegion
(sReg, k) {}
488
class BlockDataRegion : public
SubRegion
{
496
:
SubRegion
(sreg, BlockDataRegionKind), BC(bc), LC(lc), ReferencedVars(0) {
[
all
...]
Store.h
267
virtual bool Visit(const MemRegion* Parent, const MemRegion*
SubRegion
) = 0;
ProgramState.h
805
bool Visit(const MemRegion* Parent, const MemRegion*
SubRegion
) {
806
return scan(
SubRegion
);
/external/llvm/lib/Analysis/
RegionInfo.cpp
330
void Region::addSubRegion(Region *
SubRegion
, bool moveChildren) {
331
assert(
SubRegion
->parent == 0 && "
SubRegion
already has a parent!");
332
assert(std::find(begin(), end(),
SubRegion
) == children.end()
333
&& "
Subregion
already exists!");
335
SubRegion
->parent = this;
336
children.push_back(
SubRegion
);
341
assert(
SubRegion
->children.size() == 0
348
if (
SubRegion
->contains(BB))
349
RI->setRegionFor(BB,
SubRegion
);
[
all
...]
Completed in 878 milliseconds