[Bug c/23665] New: ICE in convert_move with -O3 (ok at -O2)

[Bug c/23665] New: ICE in convert_move with -O3 (ok at -O2)

[kst at mib dot org]

Note that the following code invokes undefined behavior.  I haven't been
able to reproduce this bug on platforms other than Cygwin.

% cat gcc-bug.c
double func();

int main(void)
{
    double d = func(42);
    return 0;
}

double func(double arg)
{
    return arg * 2.0;
}
% uname -a
CYGWIN_NT-5.1 sedna 1.5.18(0.132/4/2) 2005-07-02 20:30 i686 unknown unknown 
Cygwin
% gcc --version
gcc (GCC) 3.4.4 (cygming special) (gdc 0.12, using dmd 0.125)
Copyright (C) 2004 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

% gcc -c -O2 gcc-bug.c
% gcc -c -O3 gcc-bug.c
gcc-bug.c: In function `main':
gcc-bug.c:10: internal compiler error: in convert_move, at expr.c:563
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: ICE in convert_move with -O3 (ok at -O2)
           Product: gcc
           Version: 3.4.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: kst at mib dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-cygwin
  GCC host triplet: i686-pc-cygwin
GCC target triplet: i686-pc-cygwin


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

[Bug c/23665] [3.4 Regression] ICE in convert_move with -O3 (ok at -O2)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-01 01:03 -------
Confirmed, only a 3.4 regression.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |3.4.0
      Known to work|                            |4.0.0 4.1.0 3.3.3
   Last reconfirmed|0000-00-00 00:00:00         |2005-09-01 01:03:38
               date|                            |
            Summary|ICE in convert_move with -O3|[3.4 Regression] ICE in
                   |(ok at -O2)                 |convert_move with -O3 (ok at
                   |                            |-O2)
   Target Milestone|---                         |3.4.5


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

[Bug c/23665] [3.4 Regression] ICE in convert_move with -O3 (ok at -O2)

[rguenth at gcc dot gnu dot org]

------- Additional Comments From rguenth at gcc dot gnu dot org  2005-09-09 12:19 -------
Problem of the C frontend using the first decl with int arg
and the inliner expecting to have a double in unit-at-a-time mode, -O1
-funit-at-a-time:

inline double func();

int main(void)
{
    double d = func(42);
    return 0;
}

inline double func(double arg)
{
    return arg * 2.0;
}

src/tests/pr23665.c: In function `main':
src/tests/pr23665.c:10: internal compiler error: in convert_move, at expr.c:563
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

We're probably confusing the two decls.  I guess we will not fix this for 3.4.

-- 


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

[Bug c/23665] [3.4 Regression] ICE in convert_move with -O3 (ok at -O2)

[gdr at gcc dot gnu dot org]

------- Comment #3 from gdr at gcc dot gnu dot org  2006-03-01 04:47 -------
Unlikely to be fixed for 3.4.6


-- 

gdr at gcc dot gnu dot org changed:

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


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

[Bug c/23665] [3.4 Regression] ICE in convert_move with -O3 (ok at -O2)

[gdr at gcc dot gnu dot org]

-- 

gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.5                       |3.4.6


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