Searched refs:ConditionID (Results 1 – 4 of 4) sorted by relevance
25 using ConditionID = int16_t; variable26 using ConditionIDs = std::array<ConditionID, 2>;45 ConditionID ID;49 BranchParameters(ConditionID ID, const ConditionIDs &Conds) in BranchParameters()
40 ConditionID ID;
758 mcdc::ConditionID NextID = 0;786 void setCondID(const Expr *Cond, mcdc::ConditionID ID) { in setCondID()792 mcdc::ConditionID getCondID(const Expr *Cond) const { in getCondID()835 mcdc::ConditionID RHSid = NextID++; in pushAndAssignIDs()1158 mcdc::ConditionID ID = MCDCBuilder.getCondID(C);
394 DenseSet<mcdc::ConditionID> SeenIDs; in NextIDsBuilder()459 void buildTestVector(MCDCRecord::TestVector &TV, mcdc::ConditionID ID, in buildTestVector()692 DenseSet<mcdc::ConditionID> ConditionIDs;731 auto ConditionID = Branch.getBranchParams().ID; in addBranch() local733 if (ConditionIDs.contains(ConditionID) || in addBranch()734 ConditionID >= DecisionParams.NumConditions) in addBranch()744 if (ConditionID == 0) in addBranch()750 ConditionIDs.insert(ConditionID); in addBranch()