> Honza, > > this is a variant of patch I commited (adding the suggested predicate) > > This caused https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67923
Hmm, strange, I do not seem to be able to reproduce this locally. Is it x86? /opt/gcc/_clean/gcc/testsuite/gfortran.dg/pr56015.f90:12:0: error: type mismatch in pointer plus expression subroutine foo (p) ^ complex double[10] * complex double[10] * restrict long int _85 = p_5(D) + 32; I suppose the complaint is about "long int". Did you possibly revert the change to skip TYPE_CANONICAL testing in useless_type_conversion? That would declare "long int" to be the same as "unsigned long int" Honza