4298   PetscInt        n_eff_vertices, n_eff_constraints;  in PCBDDCSetUpCorrection()  local
4377     n_eff_constraints = 0;  in PCBDDCSetUpCorrection()
4380       n_eff_constraints    = PetscMax(n_eff_constraints, count_eff[2 * i + 1]);  in PCBDDCSetUpCorrection()
4386 …PetscCall(PetscMalloc2(n_el * n_eff_vertices, &V_eff_to_V, n_el * n_eff_constraints, &C_eff_to_C));  in PCBDDCSetUpCorrection()
4399       C_eff_to_C[e * n_eff_constraints + count_eff[s]] = i;  in PCBDDCSetUpCorrection()
4404     PetscCall(PetscMalloc1(n_R * n_eff_constraints, &R_eff_C_J));  in PCBDDCSetUpCorrection()
4406     PetscCall(PetscMalloc1(n_B * n_eff_constraints, &B_eff_C_J));  in PCBDDCSetUpCorrection()
4408     for (PetscInt i = 0; i < n_R * n_eff_constraints; i++) R_eff_C_J[i] = -1;  in PCBDDCSetUpCorrection()
4410     for (PetscInt i = 0; i < n_B * n_eff_constraints; i++) B_eff_C_J[i] = -1;  in PCBDDCSetUpCorrection()
4419 …j = 0; j < count_eff[s + 1]; j++) R_eff_C_J[i * n_eff_constraints + j] = C_eff_to_C[e * n_eff_cons…  in PCBDDCSetUpCorrection()
4429 …j = 0; j < count_eff[s + 1]; j++) B_eff_C_J[i * n_eff_constraints + j] = C_eff_to_C[e * n_eff_cons…  in PCBDDCSetUpCorrection()
4443       for (PetscInt c = 0; c < nc; c++) idxp[cnt + c] = C_eff_to_C[e * n_eff_constraints + c];  in PCBDDCSetUpCorrection()
4453     n_eff_constraints = n_constraints;  in PCBDDCSetUpCorrection()
4519       PetscCall(MatCreateSeqDense(PETSC_COMM_SELF, lda_rhs, n_eff_constraints, NULL, &Brhs));  in PCBDDCSetUpCorrection()
4553 … PetscCall(MatCreateSeqDense(PETSC_COMM_SELF, lda_rhs, n_eff_constraints, NULL, &local_auxmat2_R));  in PCBDDCSetUpCorrection()
4569           for (i = 0; i < n_eff_constraints; i++) {  in PCBDDCSetUpCorrection()
4575           for (i = 0; i < n_eff_constraints; i++) {  in PCBDDCSetUpCorrection()
4589       for (i = 0; i < n_eff_constraints; i++) {  in PCBDDCSetUpCorrection()
4604 …PetscCall(MatCreateSeqDense(PETSC_COMM_SELF, n_B, n_eff_constraints, NULL, &pcbddc->local_auxmat2)…  in PCBDDCSetUpCorrection()