Searched refs:Decisions (Results 1 – 3 of 3) sorted by relevance
251 Decisions; in TVIdxBuilder() local272 Decisions.emplace_back(-Node.Width, Ord++, ID, I); in TVIdxBuilder()273 assert(Ord == Decisions.size()); in TVIdxBuilder()298 llvm::sort(Decisions); in TVIdxBuilder()302 for (auto [NegWidth, Ord, ID, C] : Decisions) { in TVIdxBuilder()747 SmallVector<DecisionRecord> Decisions; member in __anondf0c3b9d0511::MCDCDecisionRecorder751 assert(Decisions.empty() && "All Decisions have not been resolved"); in ~MCDCDecisionRecorder()756 Decisions.emplace_back(Decision); in registerDecision()760 any_of(Decisions, [&Expansion](auto &Decision) { in recordExpansion()777 for (auto DecisionIter = Decisions.begin(), DecisionEnd = Decisions.end(); in processBranch()[all …]
1584 Decisions . . . . . . . . . . . . . . . 659--668
11868 title = "Dynamic Verification of Operating System Decisions",