HomeSort by relevance Sort by last modified time
    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