Searched defs:SubRegion (Results 1 – 9 of 9) sorted by relevance
286 const auto *SubRegion = dyn_cast<VPRegionBlock>(VPB); verifyRegionRec() local
593 BlockSequence SubRegion = {SuggestedEntryPoint}; takeSingleEntrySubRegion() local 693 BlockSequence SubRegion = Region.takeSingleEntrySubRegion(*DT); outlineColdRegions() local [all...]
126 addPartialTaint(ProgramStateRef State,SymbolRef ParentSym,const SubRegion * SubRegion,TaintTagType Kind) addPartialTaint() argument
1553 for (auto &SubRegion : R) { removeCachedResultsRecursively() local 1594 for (auto &SubRegion : R) findScops() local 1605 for (auto &SubRegion : R) findScops() local
604 Region *SubRegion = RN->getNodeAs<Region>(); in propagateDomainConstraints() local 890 Region *SubRegion = RN->getNodeAs<Region>(); in buildDomainsWithBranchConstraints() local 1007 Region *SubRegion = RN->getNodeAs<Region>(); in propagateInvalidStmtDomains() local
372 addSubRegion(RegionT * SubRegion,bool moveChildren) addSubRegion() argument [all...]
808 Region *SubRegion = Node->getNodeAs<Region>(); changeExit() local
452 SubRegion(const MemRegion *sReg, Kind k) : MemRegion(k), superRegion(sReg) { in SubRegion() function [all...]