[Bug middle-end/55477] New: [devirt] trunk fails inline-devirt tests #2 and and #3 whereas they pass in google/4_7

["matt at use dot net" <gcc-bugzilla at gcc dot gnu dot org>]

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

             Bug #: 55477
           Summary: [devirt] trunk fails inline-devirt tests #2 and and #3
                    whereas they pass in google/4_7
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: matt@use.net


Created attachment 28782
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28782
test case that fails in trunk but passes with google/gcc-4_7

When compiling Maxim's inline-devirt-2.C and inline-devirt-3.C test cases with
both current trunk (r193828) and google/gcc-4_7, the Google branch correctly
optimizes and trunk does not. Test cases are here:
http://gcc.gnu.org/ml/gcc-patches/2011-10/msg02589.html

My trunk configure line:
$ ../gcc-trunk/configure --program-suffix=-4.8 --prefix=/u/mhargett
--disable-bootstrap --enable-lto --with-fpmath=sse --disable-libmudflap
--disable-libssp --enable-gold=yes --with-mpc=/u/mhargett
--with-cloog=/u/mhargett/ --with-ppl=/u/mhargett/ --with-gmp=/u/mhargett/
--with-isl=/u/mhargett --with-mpfr=/u/mhargett/ --enable-cloog-backend=isl
--enable-languages=c,c++,lto

$ g++-4.8 -O2 inline-devirt-2.C

trunk objdump for the second testcase:
000000000400630 <main>:
  400630:       48 83 ec 28             sub    rsp,0x28
  400634:       48 89 e7                mov    rdi,rsp
  400637:       48 c7 04 24 b0 09 40    mov    QWORD PTR [rsp],0x4009b0
  40063e:       00 
  40063f:       48 c7 44 24 10 f0 09    mov    QWORD PTR [rsp+0x10],0x4009f0
  400646:       40 00 
  400648:       e8 23 01 00 00          call   400770 <_ZL5printR10Calculable>
  40064d:       48 8d 7c 24 10          lea    rdi,[rsp+0x10]
  400652:       e8 19 01 00 00          call   400770 <_ZL5printR10Calculable>
  400657:       31 c0                   xor    eax,eax
  400659:       48 83 c4 28             add    rsp,0x28
  40065d:       c3                      ret    
  40065e:       66 90                   xchg   ax,ax

and for google/gcc-4_7:
0000000000400630 <main>:
  400630:       48 83 ec 08             sub    rsp,0x8
  400634:       be 01 00 00 00          mov    esi,0x1
  400639:       bf c8 08 40 00          mov    edi,0x4008c8
  40063e:       31 c0                   xor    eax,eax
  400640:       e8 ab ff ff ff          call   4005f0 <printf@plt>
  400645:       be 02 00 00 00          mov    esi,0x2
  40064a:       bf c4 08 40 00          mov    edi,0x4008c4
  40064f:       31 c0                   xor    eax,eax
  400651:       e8 9a ff ff ff          call   4005f0 <printf@plt>
  400656:       be 02 00 00 00          mov    esi,0x2
  40065b:       bf c8 08 40 00          mov    edi,0x4008c8
  400660:       31 c0                   xor    eax,eax
  400662:       e8 89 ff ff ff          call   4005f0 <printf@plt>
  400667:       be 03 00 00 00          mov    esi,0x3
  40066c:       bf c4 08 40 00          mov    edi,0x4008c4
  400671:       31 c0                   xor    eax,eax
  400673:       e8 78 ff ff ff          call   4005f0 <printf@plt>
  400678:       31 c0                   xor    eax,eax
  40067a:       48 83 c4 08             add    rsp,0x8
  40067e:       c3                      ret    
  40067f:       90                      nop