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 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