Searched refs:ConditionID (Results 1 – 4 of 4) sorted by relevance
24 using ConditionID = int16_t; variable25 using ConditionIDs = std::array<ConditionID, 2>;44 ConditionID ID;48 BranchParameters(ConditionID ID, const ConditionIDs &Conds) in BranchParameters()
40 ConditionID ID;
760 mcdc::ConditionID NextID = 0;788 void setCondID(const Expr *Cond, mcdc::ConditionID ID) { in setCondID()794 mcdc::ConditionID getCondID(const Expr *Cond) const { in getCondID()837 mcdc::ConditionID RHSid = NextID++; in pushAndAssignIDs()1126 mcdc::ConditionID ID = MCDCBuilder.getCondID(C);
338 DenseSet<mcdc::ConditionID> SeenIDs; in NextIDsBuilder()405 void buildTestVector(MCDCRecord::TestVector &TV, mcdc::ConditionID ID, in buildTestVector()666 DenseSet<mcdc::ConditionID> ConditionIDs;705 auto ConditionID = Branch.getBranchParams().ID; in addBranch() local707 if (ConditionIDs.contains(ConditionID) || in addBranch()708 ConditionID >= DecisionParams.NumConditions) in addBranch()718 if (ConditionID == 0) in addBranch()724 ConditionIDs.insert(ConditionID); in addBranch()