Searched defs:SubRegion (Results 1 - 2 of 2) sorted by relevance

/external/llvm/lib/Analysis/
H A DRegionInfo.cpp312 void Region::addSubRegion(Region *SubRegion, bool moveChildren) { argument
313 assert(SubRegion->parent == 0 && "SubRegion already has a parent!");
314 assert(std::find(begin(), end(), SubRegion) == children.end()
317 SubRegion->parent = this;
318 children.push_back(SubRegion);
323 assert(SubRegion->children.size() == 0
330 if (SubRegion->contains(BB))
331 RI->setRegionFor(BB, SubRegion);
336 if (SubRegion
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h399 /// SubRegion - A region that subsets another larger region. Most regions
400 /// are subclasses of SubRegion.
401 class SubRegion : public MemRegion { class in namespace:clang::ento
406 SubRegion(const MemRegion* sReg, Kind k) : MemRegion(k), superRegion(sReg) {} function in class:clang::ento::SubRegion
432 class AllocaRegion : public SubRegion {
440 : SubRegion(superRegion, AllocaRegionKind), Cnt(cnt), Ex(ex) {}
463 class TypedRegion : public SubRegion {
467 TypedRegion(const MemRegion* sReg, Kind k) : SubRegion(sReg, k) {}
683 class SymbolicRegion : public SubRegion {
689 : SubRegion(sre
[all...]

Completed in 56 milliseconds