4298   PetscInt        n_eff_vertices, n_eff_constraints;  in PCBDDCSetUpCorrection()  local
4376     n_eff_vertices    = 0;  in PCBDDCSetUpCorrection()
4379       n_eff_vertices       = PetscMax(n_eff_vertices, count_eff[2 * i]);  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()
4392       V_eff_to_V[e * n_eff_vertices + count_eff[s]] = i;  in PCBDDCSetUpCorrection()
4403     PetscCall(PetscMalloc1(n_R * n_eff_vertices, &R_eff_V_J));  in PCBDDCSetUpCorrection()
4405     PetscCall(PetscMalloc1(n_B * n_eff_vertices, &B_eff_V_J));  in PCBDDCSetUpCorrection()
4407     for (PetscInt i = 0; i < n_R * n_eff_vertices; i++) R_eff_V_J[i] = -1;  in PCBDDCSetUpCorrection()
4409     for (PetscInt i = 0; i < n_B * n_eff_vertices; i++) B_eff_V_J[i] = -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()
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()
4454     n_eff_vertices    = n_vertices;  in PCBDDCSetUpCorrection()
4753       PetscCall(MatCreateSeqDense(PETSC_COMM_SELF, lda_rhs, n_eff_vertices, NULL, &A_RRmA_RV));  in PCBDDCSetUpCorrection()
4764           PetscCall(MatCreateSeqDense(PETSC_COMM_SELF, lda_rhs, n_eff_vertices, NULL, &T));  in PCBDDCSetUpCorrection()
4850             for (i = 0; i < n_eff_vertices; i++) {  in PCBDDCSetUpCorrection()
4856             for (i = 0; i < n_eff_vertices; i++) {  in PCBDDCSetUpCorrection()
4873             for (i = 0; i < n_eff_vertices; i++) {  in PCBDDCSetUpCorrection()
4879             for (i = 0; i < n_eff_vertices; i++) {  in PCBDDCSetUpCorrection()
4893         for (i = 0; i < n_eff_vertices; i++) {  in PCBDDCSetUpCorrection()
4910         PetscCall(MatCreateSeqDense(PETSC_COMM_SELF, n_B, n_eff_vertices, NULL, &B));  in PCBDDCSetUpCorrection()