Searched refs:MergedAssume (Results 1 – 1 of 1) sorted by relevance
501 auto *MergedAssume = Builder.build(); in mergeRange() local502 if (!MergedAssume) in mergeRange()505 MergedAssume->insertBefore(InsertPt); in mergeRange()506 AC.registerAssumption(MergedAssume); in mergeRange()