Hi Andre, The patch works as expected. As said on IRC, IMO the dejagnu directives in gfortran.dg/allocate_with_source_23.f03
+! { dg-do run { xfail *-*-* } } +! { dg-options "-fcheck=bounds" } should be replaced with +! { dg-do run } +! { dg-options "-fcheck=bounds" } +! { dg-shouldfail "Array reference out of bounds" } (see, e.g., gfortran.dg/assumed_rank_3.f90) which is what I have tested. Thanks for the patch, Dominique