[Bug lto/60635] New: ICE when mixing C and Fortran lto1: error: use operand missing for stmt

[Bug lto/60635] New: ICE when mixing C and Fortran lto1: error: use operand missing for stmt

[vladimir.fuka at gmail dot com]

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

            Bug ID: 60635
           Summary: ICE when mixing C and Fortran lto1: error: use operand
                    missing for stmt
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: lto
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vladimir.fuka at gmail dot com

The code is quite possibly non-standard or totally buggy, but prints the
expected answer without -flto.


bigend.c:

#include <stdint.h>
#include <stdbool.h>

static bool littleendian=true;

uint16_t bigendc16(union{uint16_t * n;uint8_t* b;}x){

  if (!littleendian) return *x.n;

  uint16_t res = ((uint16_t)(x.b[1])<<0) |
                 ((uint16_t)(x.b[0])<<8);
  return res;
}


testbigend.f90:

program test
  use iso_fortran_env

  interface
    integer(int16) function bigendc16(x) bind(C)
      import
      integer(int16), intent(in) :: x
    end function
  end interface

  integer(int16) :: x16 = 12345
  x16 = bigendc16(x16)
  print *,x16
end program







> gfortran-4.9 bigend.c testbigend.f90 -Ofast -flto

In function 'bigendc16.constprop':
lto1: error: use operand missing for stmt
_13
# .MEM_15 = VDEF <.MEM_14(D)>
x = VIEW_CONVERT_EXPR<union 
{
  uint16_t * n;
  uint8_t * b;
}>(_13);
lto1: internal compiler error: verify_ssa failed
0xad59db verify_ssa(bool)
 ../../gcc-svn/gcc/tree-ssa.c:1096
0x88530c execute_function_todo
 ../../gcc-svn/gcc/passes.c:1854
0x885c33 execute_todo
 ../../gcc-svn/gcc/passes.c:1887
0x887ac1 execute_one_ipa_transform_pass
 ../../gcc-svn/gcc/passes.c:2076
0x887ac1 execute_all_ipa_transforms()
 ../../gcc-svn/gcc/passes.c:2107
0x887c51 apply_ipa_transforms
 ../../gcc-svn/gcc/passes.c:2121
0x885af1 do_per_function
 ../../gcc-svn/gcc/passes.c:1583
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
lto-wrapper: gfortran-4.9 returned 1 exit status
/usr/bin/ld: lto-wrapper failed
collect2: error: ld returned 1 exit status

[Bug lto/60635] [4.8/4.9 Regression] ICE when mixing C and Fortran lto1: error: use operand missing for stmt

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-03-25
      Known to work|                            |4.7.3
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Target Milestone|---                         |4.8.3
            Summary|ICE when mixing C and       |[4.8/4.9 Regression] ICE
                   |Fortran lto1: error: use    |when mixing C and Fortran
                   |operand missing for stmt    |lto1: error: use operand
                   |                            |missing for stmt
     Ever confirmed|0                           |1
      Known to fail|                            |4.8.2, 4.9.0

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look, works with 4.7.

[Bug lto/60635] [4.8/4.9 Regression] ICE when mixing C and Fortran lto1: error: use operand missing for stmt

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Mar 25 11:43:03 2014
New Revision: 208811

URL: http://gcc.gnu.org/viewcvs?rev=208811&root=gcc&view=rev
Log:
2014-03-25  Richard Biener  <rguenther@suse.de>

    PR middle-end/60635
    * gimplify-me.c (gimple_regimplify_operands): Update the
    re-gimplifed stmt.

    * gfortran.dg/lto/pr60635_0.f90: New testcase.
    * gfortran.dg/lto/pr60635_1.c: Likewise.

Added:
    trunk/gcc/testsuite/gfortran.dg/lto/pr60635_0.f90
    trunk/gcc/testsuite/gfortran.dg/lto/pr60635_1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimplify-me.c
    trunk/gcc/testsuite/ChangeLog

[Bug lto/60635] [4.8 Regression] ICE when mixing C and Fortran lto1: error: use operand missing for stmt

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Apr 23 12:45:23 2014
New Revision: 209696

URL: http://gcc.gnu.org/viewcvs?rev=209696&root=gcc&view=rev
Log:
2014-04-23  Richard Biener  <rguenther@suse.de>

    PR middle-end/60635
    * gimplify.c (gimple_regimplify_operands): Update the
    re-gimplifed stmt.

    * gfortran.dg/lto/pr60635_0.f90: New testcase.
    * gfortran.dg/lto/pr60635_1.c: Likewise.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/gfortran.dg/lto/pr60635_0.f90
    branches/gcc-4_8-branch/gcc/testsuite/gfortran.dg/lto/pr60635_1.c
Modified:
    branches/gcc-4_8-branch/gcc/ChangeLog
    branches/gcc-4_8-branch/gcc/gimplify.c
    branches/gcc-4_8-branch/gcc/testsuite/ChangeLog

[Bug lto/60635] [4.8 Regression] ICE when mixing C and Fortran lto1: error: use operand missing for stmt

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.