At the end of a switch statement in the function we have the code fragment below. It looks to me that the part protected by #ifdef MPICH can never be reached and would actually be a syntax error if the symbol is enabled.
break;
case MPI_ERR_INTERN:
printf("MPI_ERR_INTERN\n");
break;
default:
break;
#ifdef MPICH
MPIF_Comm_revoke(*__fenix_g_world);
MPIF_Comm_revoke(*__fenix_g_new_world);
//MPIF_Comm_revoke(*__fenix_g_user_world);
__fenix_g_repair_result = __fenix_repair_ranks();
#endif
}