Searched defs:SubRegion (Results 1 - 2 of 2) sorted by relevance
/external/llvm/lib/Analysis/ |
H A D | RegionInfo.cpp | 312 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 D | MemRegion.h | 399 /// 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