Lines Matching defs:ec_num
1139 EClassNo ec_num;
1185 ec_num = tte->tte2ec_ec[k];
1186 if (ec_num < 0 || ec_num >= ECLASS_N)
1188 if (ec_num != i)
1223 ec_num = tte->tte2ec_ec[j];
1224 if (ec_num < 0 || ec_num >= ECLASS_N)
1227 if (ec_idx < 0 || ec_idx >= sec->ec2tte_used[ec_num])
1229 if (sec->ec2tte[ec_num][ec_idx] != tteno)
1881 EClassNo ec_num;
1897 ec_num = tte->tte2ec_ec[i];
1899 vg_assert(ec_num >= 0 && ec_num < ECLASS_N);
1901 vg_assert(ec_idx < sec->ec2tte_used[ec_num]);
1903 vg_assert(sec->ec2tte[ec_num][ec_idx] == tteno);
1905 sec->ec2tte[ec_num][ec_idx] = EC2TTE_DELETED;