Home | History | Annotate | Download | only in Analysis

Lines Matching refs:assumptions

792   for (auto &AssumeVH : AC->assumptions()) {