4342     PetscInt       *count_eff, *V_eff_to_V, *C_eff_to_C, *nnz;  in PCBDDCSetUpCorrection()  local
4345     PetscCall(PetscCalloc1(2 * n_el, &count_eff));  in PCBDDCSetUpCorrection()
4351       V_to_eff_V[i] = count_eff[s];  in PCBDDCSetUpCorrection()
4352       count_eff[s] += 1;  in PCBDDCSetUpCorrection()
4357       C_to_eff_C[i] = count_eff[s];  in PCBDDCSetUpCorrection()
4358       count_eff[s] += 1;  in PCBDDCSetUpCorrection()
4366       nnz[i] = count_eff[s] + count_eff[s + 1];  in PCBDDCSetUpCorrection()
4371       nnz[i + n_vertices] = count_eff[s] + count_eff[s + 1];  in PCBDDCSetUpCorrection()
4379       n_eff_vertices       = PetscMax(n_eff_vertices, count_eff[2 * i]);  in PCBDDCSetUpCorrection()
4380       n_eff_constraints    = PetscMax(n_eff_constraints, count_eff[2 * i + 1]);  in PCBDDCSetUpCorrection()
4381       count_eff[2 * i]     = 0;  in PCBDDCSetUpCorrection()
4382       count_eff[2 * i + 1] = 0;  in PCBDDCSetUpCorrection()
4392       V_eff_to_V[e * n_eff_vertices + count_eff[s]] = i;  in PCBDDCSetUpCorrection()
4393       count_eff[s] += 1;  in PCBDDCSetUpCorrection()
4399       C_eff_to_C[e * n_eff_constraints + count_eff[s]] = i;  in PCBDDCSetUpCorrection()
4400       count_eff[s] += 1;  in PCBDDCSetUpCorrection()
4418 …for (j = 0; j < count_eff[s]; j++) R_eff_V_J[i * n_eff_vertices + j] = V_eff_to_V[e * n_eff_vertic…  in PCBDDCSetUpCorrection()
4419 …for (j = 0; j < count_eff[s + 1]; j++) R_eff_C_J[i * n_eff_constraints + j] = C_eff_to_C[e * n_eff…  in PCBDDCSetUpCorrection()
4428 …for (j = 0; j < count_eff[s]; j++) B_eff_V_J[i * n_eff_vertices + j] = V_eff_to_V[e * n_eff_vertic…  in PCBDDCSetUpCorrection()
4429 …for (j = 0; j < count_eff[s + 1]; j++) B_eff_C_J[i * n_eff_constraints + j] = C_eff_to_C[e * n_eff…  in PCBDDCSetUpCorrection()
4440       const PetscInt nc = count_eff[2 * e + 1];  in PCBDDCSetUpCorrection()
4450     PetscCall(PetscFree(count_eff));  in PCBDDCSetUpCorrection()