https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94289
Tobias Burnus <burnus at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |burnus at gcc dot gnu.org --- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> --- I find the testcase confusing – but I think it works now correctly on mainline (GCC 11), thanks to the fix for PR99043 (committed to both GCC 11 and GCC 10) and possibly some other prior fixes. Namely: - if the dummy argument is a pointer/allocatable, it has the same bounds as the dummy argument - if is is nonallocatable nonpointer, the lower bounds are [1, 1, 1]. Can you check? (GCC 10 or GCC 11) Can you also check whether your PR95196 is fixed with mainline (GCC 11)?