[Patch, Fortran, committed] PR 46459: ICE (segfault): Invalid read in compare_actual_formal [error recovery]

[Andre Vehreschild]

Hi Janus,

well, is it really that obvious? It fixes the ICE, correct. But what about
cases where the actual has an explicit interface, but is not a variable? Like
in:

function f()
  integer :: f
end function

call sub(f())

! sub() defined as in the pr.

I haven't checked whether that is valid Fortran.

Another thought, because I fell on my nose about this once too often, what
about the actual argument being a component of a derived type. I known this is
not the bug you fixes, but quite close. Think about:

type t
  real :: r(:)
end type

type(t) :: foo

call sub(foo%r)

I assume the check for C1232 does not address this correctly. Can you comment
having thought about this somewhat?

- Andre

On Wed, 9 Nov 2016 21:42:15 +0100
Janus Weil <janus@gcc.gnu.org> wrote:

> Hi all,
> 
> I have committed yet another obvious ice-on-invalid fix:
> 
> https://gcc.gnu.org/viewcvs?rev=242020&root=gcc&view=rev
> 
> Cheers,
> Janus


-- 
Andre Vehreschild * Email: vehre ad gmx dot de