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