[Bug fortran/16050] New: [gfortran] make check for actual.f90 -O2 gives "ICE: verify_cgraph_node failed."

[eesrjhc at bath dot ac dot uk]

First failure for make check reported in gfortran.log is for "actual.f90 -O2" 
Command line repeated with "-v -save-temps" added.

gilbert:/gilbert/roger/src/build-cvs/gcc/testsuite $ cat
/gilbert/roger/src/gcc-cvs/gcc/gcc/testsuite/gfortran.fortran-torture/compile/actual.f90
module modull

contains

function fun( a )
  real, intent(in) :: a
  real :: fun
  fun = a
end function fun

end module modull



program t5

use modull

real :: a, b

b = foo( fun, a )

contains

function foo( f, a )
  real, intent(in) :: a
  interface
    function f( x )
      real, intent(in) :: x
      real :: f
    end function f
  end interface
  real :: foo

  foo = f( a )
end function foo

end program t5
gilbert:/gilbert/roger/src/build-cvs/gcc/testsuite $
/gilbert/roger/src/build-cvs/gcc/testsuite/../gfortran -v -save-temps
-B/gilbert/roger/src/build-cvs/gcc/testsuite/../  -w  -O2  -c  -o
/gilbert/roger/src/build-cvs/gcc/testsuite/actual.o
/gilbert/roger/src/gcc-cvs/gcc/gcc/testsuite/gfortran.fortran-torture/compile/actual.f90
Reading specs from /gilbert/roger/src/build-cvs/gcc/testsuite/../specs
Configured with: ../gcc-cvs/gcc/configure --prefix=/usr/local/gcc-cvs
--enable-languages=c,c++,f95 --with-gmp=/opt/csw --host=sparc-sun-solaris2.8
--build=sparc-sun-solaris2.8 --target=sparc-sun-solaris2.8 --disable-libmudflap
Thread model: posix
gcc version 3.5.0 20040616 (experimental)
 /gilbert/roger/src/build-cvs/gcc/testsuite/../f951
/gilbert/roger/src/gcc-cvs/gcc/gcc/testsuite/gfortran.fortran-torture/compile/actual.f90
-quiet -dumpbase actual.f90 -mcpu=v7 -auxbase-strip
/gilbert/roger/src/build-cvs/gcc/testsuite/actual.o -O2 -w -version -o actual.s
GNU F95 version 3.5.0 20040616 (experimental) (sparc-sun-solaris2.8)
        compiled by GNU C version 3.5.0 20040616 (experimental).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
/gilbert/roger/src/gcc-cvs/gcc/gcc/testsuite/gfortran.fortran-torture/compile/actual.f90:
In function `MAIN__':
/gilbert/roger/src/gcc-cvs/gcc/gcc/testsuite/gfortran.fortran-torture/compile/actual.f90:8:
error: Missing callgraph edge for call expr:
 <call_expr ff1dca00
    type <real_type ff1df000 real4 SF
        size <integer_cst ff0f4b20 constant invariant 32>
        unit size <integer_cst ff0f4b40 constant invariant 4>
        align 32 symtab 0 alias set 2 precision 32
        pointer_to_this <pointer_type ff1df180> reference_to_this
<reference_type ff0f2f80>>
    side-effects
    arg 0 <addr_expr ff0f49a0
        type <pointer_type ff0f3800 type <function_type ff0f3000>
            unsigned SI
            size <integer_cst ff1da800 constant invariant 32>
            unit size <integer_cst ff1da860 constant invariant 4>
            align 32 symtab 0 alias set -1>
        constant invariant
        arg 0 <function_decl ff0f6000 fun type <function_type ff0f3000>
            addressable public external SI file
/gilbert/roger/src/gcc-cvs/gcc/gcc/testsuite/gfortran.fortran-torture/compile/actual.f90
line 21 chain <function_decl ff0f3500 MAIN__>>>
    arg 1 <tree_list ff1bd2d8
        value <var_decl ff0f7400 a type <reference_type ff0f2f80>
            readonly used unsigned SI file
/gilbert/roger/src/gcc-cvs/gcc/gcc/testsuite/gfortran.fortran-torture/compile/actual.f90
line 21 size <integer_cst ff1da800 32> unit size <integer_cst ff1da860 4>
            align 32 context <function_decl ff0f3500 MAIN__> abstract_origin
<parm_decl ff0f3a80 a> chain <var_decl ff0f7500>>>
   
/gilbert/roger/src/gcc-cvs/gcc/gcc/testsuite/gfortran.fortran-torture/compile/actual.f90:35>
MAIN__/2: 21 insns (33 after inlining) needed tree
  called by: 
  calls: 
/gilbert/roger/src/gcc-cvs/gcc/gcc/testsuite/gfortran.fortran-torture/compile/actual.f90:8:
internal compiler error: verify_cgraph_node failed.
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.



Same error happens on host/target/build x86_64-unknown-linux-gnu and on
i686-pc-linux-gnu

-- 
           Summary: [gfortran] make check for actual.f90 -O2 gives "ICE:
                    verify_cgraph_node failed."
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: eesrjhc at bath dot ac dot uk
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: sparc-sun-solaris2.8
  GCC host triplet: sparc-sun-solaris2.8
GCC target triplet: sparc-sun-solaris2.8


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16050