[Bug c++/49495] New: -O3 causes error message "edge points to wrong declaration:"

[Bug c++/49495] New: -O3 causes error message "edge points to wrong declaration:"

[dcb314 at hotmail dot com]

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

           Summary: -O3 causes error message "edge points to wrong
                    declaration:"
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dcb314@hotmail.com


Created attachment 24576
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24576
C++ source code

I just tried to compile the icedtea6-1.10.2 package with the latest
trunk snapshot 20110618 on an AMD x86_64 box.

The compiler said

/home/dcb/rpmbuild/BUILD/icedtea6-1.10.2/openjdk/hotspot/src/share/vm/adlc/formssel.cpp:4089:1:
error: edge points to wrong declaration:
 <function_decl 0x7ff30ed2d500 _ZN9MatchNodeC2ER8ArchDescRS_i.constprop.30
    type <method_type 0x7ff30f6f4498

...

Preprocessed source code attached. Flag -O3 required.
It compiles fine with -O2.

[Bug c++/49495] -O3 causes error message "edge points to wrong declaration:"

[jamborm at gcc dot gnu.org]

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

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.07.01 16:26:01
     Ever Confirmed|0                           |1

--- Comment #1 from Martin Jambor <jamborm at gcc dot gnu.org> 2011-07-01 16:26:01 UTC ---
Happens also with -fno-inline -fno-devirtualize.

[Bug c++/49495] -O3 causes error message "edge points to wrong declaration:"

[jamborm at gcc dot gnu.org]

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

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu.org

--- Comment #2 from Martin Jambor <jamborm at gcc dot gnu.org> 2011-07-01 16:36:58 UTC ---
The problem here is that cgraph_redirect_edge_call_stmt_to_callee(0 is
never called because inline_transform() is never called.  (I have
verified by putting gcc_unreachable to both, I did not believe my
gdb).

[Bug c++/49495] -O3 causes error message "edge points to wrong declaration:"

[jamborm at gcc dot gnu.org]

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

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jamborm at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #3 from Martin Jambor <jamborm at gcc dot gnu.org> 2011-07-01 18:11:48 UTC ---
Actually no, the problem is that the verifier is not alias-aware in this test. 
I have a fix, just need to polish and test it.

[Bug middle-end/49495] -O3 causes error message "edge points to wrong declaration:"

[jamborm at gcc dot gnu.org]

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

--- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> 2011-07-03 09:45:44 UTC ---
Patch posted to the mailing list:

http://gcc.gnu.org/ml/gcc-patches/2011-07/msg00140.html

[Bug middle-end/49495] -O3 causes error message "edge points to wrong declaration:"

[jamborm at gcc dot gnu.org]

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

--- Comment #5 from Martin Jambor <jamborm at gcc dot gnu.org> 2011-07-07 18:08:04 UTC ---
Author: jamborm
Date: Thu Jul  7 18:08:00 2011
New Revision: 175998

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=175998
Log:
2011-07-07  Martin Jambor  <mjambor@suse.cz>

    PR middle-end/49495
    * cgraphunit.c (verify_edge_corresponds_to_fndecl): New function.
    (verify_cgraph_node): Some functinality moved to
    verify_edge_corresponds_to_fndecl, call it.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cgraphunit.c

[Bug middle-end/49495] -O3 causes error message "edge points to wrong declaration:"

[jamborm at gcc dot gnu.org]

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

Martin Jambor <jamborm at gcc dot gnu.org> changed:

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

--- Comment #6 from Martin Jambor <jamborm at gcc dot gnu.org> 2011-07-07 18:22:49 UTC ---
Fixed.