Honza, Your patch here: http://gcc.gnu.org/ml/gcc-patches/2005-06/msg00976.html has left a number of fortran test cases broken (e.g. gfortran.dg/select_2).
The problem seems to be that you used the aux field as a replacement for rbi->copy_number, but tree_verify_flow_info assumes aux is cleared before it is called (see the SWITCH_EXPR case, "gcc_assert (!label_bb->aux ....)"). You must have seen this if you tested your patch with checking enabled, the patch broke fortran on all platforms. Can you please fix this? (It is also http://gcc.gnu.org/PR22100) Gr. Steven