Searched refs:MergedAssume (Results 1 – 1 of 1) sorted by relevance
503 auto *MergedAssume = Builder.build(); in mergeRange() local504 if (!MergedAssume) in mergeRange()507 MergedAssume->insertBefore(InsertPt); in mergeRange()508 AC.registerAssumption(MergedAssume); in mergeRange()