Searched refs:AssumeCB (Results 1 – 1 of 1) sorted by relevance
2786 for (auto *AssumeCB : ED.EncounteredAssumes) in manifest() local2787 A.deleteAfterManifest(*AssumeCB); in manifest()