[Bug c/12085] New: Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[Bug c/12085] New: Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[dhollen at mosis dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: Internal compiler error in convert_move, at expr.c:504
                    with -O3 flag
           Product: gcc
           Version: 3.2.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dhollen at mosis dot org
                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

marten 28496% /usr/local/bin/gcc -v -save-temps -O3 -c test.c
Reading specs from /usr/local/lib/gcc-lib/sparc-sun-solaris2.8/3.2.2/specs
Configured with: ../configure --disable-nls --with-ld=/usr/ccs/bin/ld
--with-as=/usr/ccs/bin/as
Thread model: posix
gcc version 3.2.2
 /usr/local/lib/gcc-lib/sparc-sun-solaris2.8/3.2.2/cpp0 -lang-c -v -D__GNUC__=3
-D__GNUC_MINOR__=2 -D__GNUC_PATCHLEVEL__=2 -D__GXX_ABI_VERSION=102 -Dsparc -Dsun
-Dunix -D__svr4__ -D__SVR4 -D__PRAGMA_REDEFINE_EXTNAME -D__sparc__ -D__sun__
-D__unix__ -D__svr4__ -D__SVR4 -D__PRAGMA_REDEFINE_EXTNAME -D__sparc -D__sun
-D__unix -Asystem=unix -Asystem=svr4 -D__OPTIMIZE__ -D__STDC_HOSTED__=1
-D__SIZE_TYPE__=unsigned int -D__PTRDIFF_TYPE__=int -D__WCHAR_TYPE__=long int
-D__WINT_TYPE__=long int -D__GCC_NEW_VARARGS__ -Acpu=sparc -Amachine=sparc
test.c test.i
GNU CPP version 3.2.2 (cpplib) (sparc ELF)
ignoring nonexistent directory "NONE/include"
ignoring nonexistent directory "/usr/local/sparc-sun-solaris2.8/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/include
 /usr/local/lib/gcc-lib/sparc-sun-solaris2.8/3.2.2/include
 /usr/include
End of search list.
 /usr/local/lib/gcc-lib/sparc-sun-solaris2.8/3.2.2/cc1 -fpreprocessed test.i
-quiet -dumpbase test.c -O3 -version -o test.s
GNU CPP version 3.2.2 (cpplib) (sparc ELF)
GNU C version 3.2.2 (sparc-sun-solaris2.8)
        compiled by GNU C version 3.2.2.
test.c: In function `testme':
test.c:11: Internal compiler error in convert_move, at expr.c:504
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.gnu.org/software/gcc/bugs.html> for instructions.

[Bug middle-end/12085] Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |middle-end

[Bug middle-end/12085] Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-28 04:20 -------
Can you read http://gcc.gnu.org/bugs.html and provide the preprocessed source file?

[Bug middle-end/12085] Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[dhollen at mosis dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From dhollen at mosis dot org  2003-08-28 15:23 -------
Here is the preprocessed source code to reproduce the bug
(could not create a new attachement - it always told me that I
did not specify a file to attach).

# 1 "test.c"
# 1 "<built-in>"
# 1 "<command line>"
# 1 "test.c"

extern void testme(char *);
extern int value(int);

void testme(char * s) {
        double d;

        d = ((double (*) (double)) value)(d);
}

int value(int arg) {
        return arg;
}

[Bug c/12085] [3.3/3.4 Regression] Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
          Component|middle-end                  |c
     Ever Confirmed|                            |1
  GCC build triplet|sparc-sun-solaris2.8        |
   GCC host triplet|sparc-sun-solaris2.8        |
 GCC target triplet|sparc-sun-solaris2.8        |
   Last reconfirmed|0000-00-00 00:00:00         |2003-08-28 15:36:40
               date|                            |
            Summary|Internal compiler error in  |[3.3/3.4 Regression]
                   |convert_move, at expr.c:504 |Internal compiler error in
                   |with -O3 flag               |convert_move, at expr.c:504
                   |                            |with -O3 flag
   Target Milestone|---                         |3.3.2


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-28 15:36 -------
I do not know if it is a middle-end problem or a c front-end problem
I can confirm this on the mainline (20030828).
>From Phil's regression hunter: Search converges between 2001-11-11-trunk (#45) and 2001-11-
18-trunk (#46).
I also want to say this is valid code as you almost can do any casting in C.
This is a regression from 2.95.3 where it worked.

[Bug optimization/12085] [3.3/3.4 Regression] Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
          Component|c                           |optimization
           Keywords|                            |ice-on-valid-code


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-29 16:35 -------
It is most likely a fold-cost problem because it also causes the c++ front-end to ICE and it 
only happens with optimization, guess what it is also fixed on the tree-ssa branch.

[Bug optimization/12085] [3.3/3.4 Regression] Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[ebotcazou at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-09-07 16:26 -------
Confirmed on i586-redhat-linux-gnu as of gcc version 3.3.2 20030904 (prerelease).

[Bug optimization/12085] [3.3/3.4 Regression] Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[mmitchel at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.3.2                       |3.3.3


------- Additional Comments From mmitchel at gcc dot gnu dot org  2003-10-16 09:29 -------
Postponed until GCC 3.3.3.

[Bug optimization/12085] [3.3/3.4 Regression] Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-12-05 20:33 -------
It's the tree-inliner. I'll investigate.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Target Milestone|3.3.3                       |3.4


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

[Bug c/12085] [3.3/3.4 Regression] Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-12-20 07:12 -------
Subject: Bug 12085

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	ebotcazou@gcc.gnu.org	2003-12-20 07:12:40

Modified files:
	gcc            : ChangeLog c-typeck.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg: cast-function-1.c 

Log message:
	PR c/12085
	* c-typeck.c (build_function_call): Issue a warning if a
	function is called through an incompatible prototype and
	replace the call by a trap in this case.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.2058&r2=2.2059
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/c-typeck.c.diff?cvsroot=gcc&r1=1.265&r2=1.266
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3290&r2=1.3291
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/cast-function-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug c/12085] [3.3/3.4 Regression] Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-12-20 07:17 -------
The function call in the testcase leads to undefined run-time behavior.  The C
compiler will (as of GCC 3.4.0) therefore issue a warning and replace the call
by a run-time trap.

See http://gcc.gnu.org/ml/gcc-patches/2003-12/msg00683.html for the (long)
discussion.


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


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

[Bug c/12085] [3.3/3.4 Regression] Internal compiler error in convert_move, at expr.c:504 with -O3 flag

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-15 12:51 -------
*** Bug 18011 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |laurent dot deniau at cern
                   |                            |dot ch


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