[Bug c/41750] New: gcc 4.50 miscompiles binutils

[Bug c/41750] New: gcc 4.50 miscompiles binutils

[rainer at emrich-ebersheim dot de]

gcc trunk revision 152931 miscompiles cross binutils x86_64-unknown-linux-gnu
to ia64-unknown-linux-gnu.
Detected during build of cross compiler x86_64-unknown-linux-gnu to
ia64-unknown-linux-gnu. ia64-unknown-linux-gnu-ld segfaults by linking a simple
conftest.

configure:2368: checking for C compiler default output file name
configure:2390: /SCRATCH/tmp.rXGZe12682/gcc-4.5.0/gcc-4.5.0/./gcc/xgcc
-B/SCRATCH/tmp.rXGZe12682/gcc-4.5.0/gcc-4.5.0/./gcc/
-B/opt/devel/gnu/cross-gcc/Linux/x86_64-unknown-linux-gnu/openSUSE_10.3/cross/Linux/i
a64-unknown-linux-gnu/SLC_4.7/gcc-4.5.0/ia64-unknown-linux-gnu/bin/
-B/opt/devel/gnu/cross-gcc/Linux/x86_64-unknown-linux-gnu/openSUSE_10.3/cross/Linux/ia64-unknown-linux-gnu/SLC_4.7/gcc-4.5.0/ia64-unknown-lin
ux-gnu/lib/ -isystem
/opt/devel/gnu/cross-gcc/Linux/x86_64-unknown-linux-gnu/openSUSE_10.3/cross/Linux/ia64-unknown-linux-gnu/SLC_4.7/gcc-4.5.0/ia64-unknown-linux-gnu/include
-isystem /opt/devel/gnu/cross-gcc/
Linux/x86_64-unknown-linux-gnu/openSUSE_10.3/cross/Linux/ia64-unknown-linux-gnu/SLC_4.7/gcc-4.5.0/ia64-unknown-linux-gnu/sys-include
      conftest.c  >&5
collect2: ld terminated with signal 11 [Segmentation fault]
configure:2394: $? = 1
configure:2431: result:
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME ""
| #define PACKAGE_TARNAME ""
| #define PACKAGE_VERSION ""
| #define PACKAGE_STRING ""
| #define PACKAGE_BUGREPORT ""
| #define PACKAGE_URL ""
| /* end confdefs.h.  */
|
| int
| main ()
| {
|
|   ;
|   return 0;
| }


verbose output:

rainer@kasandra-lx:/SCRATCH/tmp.rXGZe12682/gcc-4.5.0/gcc-4.5.0/ia64-unknown-linux-gnu/libada>
ia64-unknown-linux-gnu-ld --verbose
--sysroot=/opt/devel/tec/setup/sys-root/Linux/ia64-unknown-linux-gnu/SLC_4.7
-dynamic-linker /lib/ld-linux-ia64.so.2
/opt/devel/tec/setup/sys-root/Linux/ia64-unknown-linux-gnu/SLC_4.7/usr/lib/crt1.o
/opt/devel/tec/setup/sys-root/Linux/ia64-unknown-linux-gnu/SLC_4.7/usr/lib/crti.o
/SCRATCH/tmp.rXGZe12682/gcc-4.5.0/gcc-4.5.0/./gcc/crtbegin.o
-L/SCRATCH/tmp.rXGZe12682/gcc-4.5.0/gcc-4.5.0/./gcc
-L/opt/devel/gnu/cross-gcc/Linux/x86_64-unknown-linux-gnu/openSUSE_10.3/cross/Linux/ia64-unknown-linux-gnu/SLC_4.7/gcc-4.5.0/ia64-unknown-linux-gnu/bin
-L/opt/devel/gnu/cross-gcc/Linux/x86_64-unknown-linux-gnu/openSUSE_10.3/cross/Linux/ia64-unknown-linux-gnu/SLC_4.7/gcc-4.5.0/ia64-unknown-linux-gnu/lib
-L/opt/devel/tec/setup/sys-root/Linux/ia64-unknown-linux-gnu/SLC_4.7/lib
-L/opt/devel/tec/setup/sys-root/Linux/ia64-unknown-linux-gnu/SLC_4.7/usr/lib
conftest.o -lgcc --as-needed -lgcc_s -lunwind --no-as-needed -lc -lgcc
--as-needed -lgcc_s -lunwind --no-as-needed
/SCRATCH/tmp.rXGZe12682/gcc-4.5.0/gcc-4.5.0/./gcc/crtend.o
/opt/devel/tec/setup/sys-root/Linux/ia64-unknown-linux-gnu/SLC_4.7/usr/lib/crtn.o
GNU ld (GNU Binutils) 2.20
  Supported emulations:
   elf64_ia64
using internal linker script:
==================================================
/* Script for -z combreloc: combine and sort reloc sections */
OUTPUT_FORMAT("elf64-ia64-little", "elf64-ia64-little",
              "elf64-ia64-little")
OUTPUT_ARCH(ia64)
ENTRY(_start)
SEARCH_DIR("=/usr/local/lib"); SEARCH_DIR("=/lib"); SEARCH_DIR("=/usr/lib");
SECTIONS
{
  /* Read-only sections, merged into text segment: */
  PROVIDE (__executable_start = SEGMENT_START("text-segment",
0x4000000000000000)); . = SEGMENT_START("text-segment", 0x4000000000000000) +
SIZEOF_HEADERS;
  .interp         : { *(.interp) }
  .note.gnu.build-id : { *(.note.gnu.build-id) }
.
.
.
.
  /* DWARF 3 */
  .debug_pubtypes 0 : { *(.debug_pubtypes) }
  .debug_ranges   0 : { *(.debug_ranges) }
  .gnu.attributes 0 : { KEEP (*(.gnu.attributes)) }
  /DISCARD/ : { *(.note.GNU-stack) *(.gnu_debuglink) *(.gnu.lto_*) }
}


==================================================
attempt to open
/opt/devel/tec/setup/sys-root/Linux/ia64-unknown-linux-gnu/SLC_4.7/usr/lib/crt1.o
succeeded
/opt/devel/tec/setup/sys-root/Linux/ia64-unknown-linux-gnu/SLC_4.7/usr/lib/crt1.o
Segmentation fault (core dumped)


Backtrace:

Core was generated by `ia64-unknown-linux-gnu-ld --verbose
--sysroot=/opt/devel/tec/setup/sys-root/Lin'.
Program terminated with signal 11, Segmentation fault.
#0  0x000000000043f309 in elf64_ia64_check_relocs (abfd=<value optimized out>,
info=0x6f0d00, sec=<value optimized out>, relocs=<value optimized out>) at
elf64-ia64.c:1550
1550      if (s && (s->flags & SEC_LOAD))
(gdb) where
#0  0x000000000043f309 in elf64_ia64_check_relocs (abfd=<value optimized out>,
info=0x6f0d00, sec=<value optimized out>, relocs=<value optimized out>) at
elf64-ia64.c:1550
#1  0x000000000045cfa0 in bfd_elf_link_add_symbols (abfd=<value optimized out>,
info=<value optimized out>) at
/opt/devel/gnu/src/gcc/binutils-2.20/bfd/elflink.c:477
#2  0x0000000000000000 in ?? ()
(gdb)


-- 
           Summary: gcc 4.50 miscompiles binutils
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rainer at emrich-ebersheim dot de
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug c/41750] gcc 4.5.0 miscompiles binutils

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2009-10-19 11:00 -------
Testcase required.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug c/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #2 from rainer at emrich-ebersheim dot de  2009-10-19 11:43 -------
Subject: Re:  gcc 4.5.0 miscompiles binutils

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

rguenth at gcc dot gnu dot org schrieb:
> ------- Comment #1 from rguenth at gcc dot gnu dot org  2009-10-19 11:00 -------
> Testcase required.
> 
> 

Richard, some advice how to create a testcase for this particular issue would
be
appreciated.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAkrcUOMACgkQoUhjsh59BL5teACfQuLfIIXop524bwIJ2XUyjAuK
8kMAoKlEtN8uv1qnV4TsHWEs9eEoVd2P
=MQ4R
-----END PGP SIGNATURE-----


-- 


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

[Bug c/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #3 from rainer at emrich-ebersheim dot de  2009-10-19 11:51 -------
Forgot to mention that's with binutils 2.20 and binutils head.


-- 


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

[Bug c/41750] gcc 4.5.0 miscompiles binutils

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2009-10-19 12:06 -------
For a suspected wrong-code bug, the standard way to create a testcase is to
first find out if there are gcc options with which you get the expected result
(such as it works when compiled with -O0, doesn't when compiled with -O2), or,
if even at -O0 new gcc misbehaves some other compiler version.
Then either guess or do a binary search between objects compiled with a known
good and known bad options to narrow it down to a particular source file.
Then try -fno-inline on that file to see if it is still bad, if it is, it will
be far easier, as no inlining is performed and thus fn boundaries are clearer.
In any case either guess the miscompiled function or play with attribute
optimize (known to have issues though) or splitting source file into several
smaller ones to do a binary search to a particular function.
Last, find out what arguments it has been called with and try to emulate that
inside of a main, just preparing the right arguments (and what they point to
etc.), then calling only the problematic function.  And, stub all (noninlined)
functions the problematic function calls, with something that gives back the
right result, use noinline attribute on it and possibly asm volatile
("":::"memory"); to prevent it being optimized.  Remove any unnecessary stuff,
provide it as preprocessed source, which can be run and show clearly a bad vs.
good behavior (say exit 0 in the right case, abort otherwise).


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #5 from rainer at emrich-ebersheim dot de  2009-10-19 14:46 -------
works when build with "-g -O0" and "-g -O1".
fails when build with "-g -O2" and "-g -O3".


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2009-10-19 15:21 -------
Try also -g -O2 -fno-strict-aliasing, if that one works, look for aliasing
warnings.


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #7 from rainer at emrich-ebersheim dot de  2009-10-19 16:08 -------
Subject: Re:  gcc 4.5.0 miscompiles binutils

jakub at gcc dot gnu dot org wrote:
> ------- Comment #6 from jakub at gcc dot gnu dot org  2009-10-19 15:21 -------
> Try also -g -O2 -fno-strict-aliasing, if that one works, look for aliasing
> warnings.
> 
> 

works when build with "-g -O2 -fno-ipa-sra" and "-g -O3 -fno-ipa-sra".

So, that's the easy part. Try to get further. Any help appreciated.


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #8 from rainer at emrich-ebersheim dot de  2009-10-19 16:19 -------
fails when build with "-g -O1 -fipa-sra".

So, the ipa-sra pass causes the issue, no?


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #9 from rainer at emrich-ebersheim dot de  2009-10-19 16:30 -------
build with "-g -O1 -fipa-sra -fno-inline" I get the following backtrace:

Core was generated by `ia64-unknown-linux-gnu-ld --verbose
--sysroot=/opt/devel/tec/setup/sys-root/Lin'.
Program terminated with signal 11, Segmentation fault.
#0  0x000000000043c3e3 in get_got (abfd=0x711300, info=<value optimized out>)
at elf64-ia64.c:2073
2073      return x->addend < y->addend ? -1 : x->addend > y->addend ? 1 : 0;
(gdb) where
#0  0x000000000043c3e3 in get_got (abfd=0x711300, info=<value optimized out>)
at elf64-ia64.c:2073
#1  0x000000000043c9bc in elf64_ia64_check_relocs (abfd=<value optimized out>,
info=0x6ead00, sec=<value optimized out>, relocs=<value optimized out>) at
elf64-ia64.c:2073
#2  0x0000000000459a52 in elf_link_add_object_symbols (abfd=<value optimized
out>, info=<value optimized out>) at
/opt/devel/gnu/src/gcc/binutils-2.20/bfd/elflink.c:477
#3  0x0000000000459e85 in bfd_elf_link_add_symbols (abfd=<value optimized out>,
info=<value optimized out>) at
/opt/devel/gnu/src/gcc/binutils-2.20/bfd/elflink.c:477
#4  0x000000000040f947 in load_symbols (entry=0x6eb1e0, place=<value optimized
out>) at /opt/devel/gnu/src/gcc/binutils-2.20/ld/ldlang.c:353
#5  0x000000000040fea4 in open_input_bfds (s=0x6eb1e0, force=0) at
/opt/devel/gnu/src/gcc/binutils-2.20/ld/ldlang.c:353
#6  0x000000000041217e in lang_process () at
/opt/devel/gnu/src/gcc/binutils-2.20/ld/ldlang.c:353
#7  0x0000000000414cc0 in main (argc=27, argv=0x7fffa21c0d78) at
/opt/devel/gnu/src/gcc/binutils-2.20/ld/ldmain.c:1383
(gdb) 


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #10 from rainer at emrich-ebersheim dot de  2009-10-19 17:06 -------
The line numbers in the traceback in comment #9 are completly bogus. I had to
upgrade my gdb to version 0.7. Now it looks much better:

Core was generated by `ia64-unknown-linux-gnu-ld --verbose
--sysroot=/opt/devel/tec/setup/sys-root/Lin'.
Program terminated with signal 11, Segmentation fault.
#0  get_got (abfd=0x711300, info=<value optimized out>) at elf64-ia64.c:2418
2418          if (!bfd_set_section_alignment (abfd, got, 3))
(gdb) where
#0  get_got (abfd=0x711300, info=<value optimized out>) at elf64-ia64.c:2418
#1  0x000000000043c9bc in elf64_ia64_check_relocs (abfd=<value optimized out>,
info=0x6ead00, sec=<value optimized out>, relocs=<value optimized out>) at
elf64-ia64.c:2973
#2  0x0000000000459a52 in elf_link_add_object_symbols (abfd=<value optimized
out>, info=<value optimized out>) at
/opt/devel/gnu/src/gcc/binutils-2.20/bfd/elflink.c:4774
#3  0x0000000000459e85 in bfd_elf_link_add_symbols (abfd=<value optimized out>,
info=<value optimized out>) at
/opt/devel/gnu/src/gcc/binutils-2.20/bfd/elflink.c:5097
#4  0x000000000040f947 in load_symbols (entry=0x6eb1e0, place=<value optimized
out>) at /opt/devel/gnu/src/gcc/binutils-2.20/ld/ldlang.c:2707
#5  0x000000000040fea4 in open_input_bfds (s=0x6eb1e0, force=0) at
/opt/devel/gnu/src/gcc/binutils-2.20/ld/ldlang.c:3138
#6  0x000000000041217e in lang_process () at
/opt/devel/gnu/src/gcc/binutils-2.20/ld/ldlang.c:6287
#7  0x0000000000414cc0 in main (argc=27, argv=0x7fffa21c0d78) at
/opt/devel/gnu/src/gcc/binutils-2.20/ld/ldmain.c:455
(gdb) 


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #11 from rainer at emrich-ebersheim dot de  2009-10-19 17:24 -------
verified that compiling only bfd/elf64-ia64.c with -fno-ipa-sra is sufficient
to get a working ia64-unknown-linux-gnu-ld.


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #12 from rainer at emrich-ebersheim dot de  2009-10-20 18:04 -------
First of all, it's nearly impossible to create a short self contained test
case, at least for me. The function get_got in bfd/elf64-ia64.c shows the
issue.
Resolving the dependencies of this function is like opening a can of worms.

What I have:
I verified that enclosing only the get_got function in 
#pragma GCC optimize ("ipa-sra", "no-inline")
.
.
#pragma GCC reset_options
yields the fault.

In contrast enclosing the get_got function in
#pragma GCC optimize ("no-ipa-sra", "no-inline")
.
.
#pragma GCC reset_options
gives a working ia64-unknown-linux-gnu-ld.

I'm attaching both versions as preprocessed source.

compiling these with gcc -g -O2 -S produces the correspondent assembler output,
also attached.


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #13 from rainer at emrich-ebersheim dot de  2009-10-20 18:13 -------
Created an attachment (id=18841)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18841&action=view)
preproccessed source

no-ipa-sra, no-inline


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #14 from rainer at emrich-ebersheim dot de  2009-10-20 18:14 -------
Created an attachment (id=18842)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18842&action=view)
preproccessed source

ipa-sra, no-inline


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #15 from rainer at emrich-ebersheim dot de  2009-10-20 18:15 -------
Created an attachment (id=18843)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18843&action=view)
assembler output


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #16 from rainer at emrich-ebersheim dot de  2009-10-20 18:16 -------
Created an attachment (id=18844)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18844&action=view)
assembler output


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[hjl dot tools at gmail dot com]

------- Comment #17 from hjl dot tools at gmail dot com  2009-10-26 16:59 -------
Revision 152433 is OK and revision 152642 is bad.


-- 


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

[Bug middle-end/41750] gcc 4.5.0 miscompiles binutils

[hjl dot tools at gmail dot com]

------- Comment #18 from hjl dot tools at gmail dot com  2009-10-26 19:19 -------
This is another IPA-SRA bug.


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jamborm at gcc dot gnu dot
                   |                            |org
   Last reconfirmed|0000-00-00 00:00:00         |2009-10-26 19:19:42
               date|                            |


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

[Bug tree-optimization/41750] [4.5 Regression] gcc 4.5.0 miscompiles binutils

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
          Component|middle-end                  |tree-optimization
     Ever Confirmed|0                           |1
           Keywords|                            |wrong-code
   Last reconfirmed|2009-10-26 19:19:42         |2009-10-26 20:57:48
               date|                            |
            Summary|gcc 4.5.0 miscompiles       |[4.5 Regression] gcc 4.5.0
                   |binutils                    |miscompiles binutils
   Target Milestone|---                         |4.5.0


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

[Bug tree-optimization/41750] [4.5 Regression] gcc 4.5.0 miscompiles binutils

[jamborm at gcc dot gnu dot org]

------- Comment #19 from jamborm at gcc dot gnu dot org  2009-10-27 18:45 -------
I have downloaded binutils 2.20 and compiled the file on a native ia64
compiler.  I have only managed to look at the dumps but so far could
not see any problem there.  I will have another look on Thursday.


-- 

jamborm at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jamborm at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2009-10-26 20:57:48         |2009-10-27 18:45:46
               date|                            |


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

[Bug tree-optimization/41750] [4.5 Regression] gcc 4.5.0 miscompiles binutils

[rainer at emrich-ebersheim dot de]

------- Comment #20 from rainer at emrich-ebersheim dot de  2009-10-29 12:37 -------
(In reply to comment #19)
> I have downloaded binutils 2.20 and compiled the file on a native ia64
> compiler.  I have only managed to look at the dumps but so far could
> not see any problem there.  I will have another look on Thursday.
> 

I'm not sure, but by my impression that's a host issue, no? So, I doubt that
working on target will get you any further.


-- 


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

[Bug tree-optimization/41750] [4.5 Regression] gcc 4.5.0 miscompiles binutils

[jamborm at gcc dot gnu dot org]

------- Comment #21 from jamborm at gcc dot gnu dot org  2009-10-29 13:44 -------
(In reply to comment #20)
> I'm not sure, but by my impression that's a host issue, no? So, I doubt that
> working on target will get you any further.
> 

Perhaps, I don't know (or do you mean that you know that the native
compiler does not have this problem?).  I have also built a
cross-compiler x86_64->ia64 but when I feed the attachment in comment
#14 to it, it segfaults at -O2 regardless of -fno-ipa-sra (it
segfaults at /home/jamborm/gcc/mine/gcc/config/ia64/ia64.c:7032).

Nevertheless, I can get the IPA-SRA dump file from the cross compiler
and it is (as I belive it should be) almost identical to the one from
the native compiler and I still don't see any problem there.  I admit
that at the moment I am not sure what to look at next...


-- 


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

[Bug tree-optimization/41750] [4.5 Regression] gcc 4.5.0 miscompiles binutils

[hjl dot tools at gmail dot com]

------- Comment #22 from hjl dot tools at gmail dot com  2009-10-29 19:30 -------
IPA-SRA miscompiled get_got in elf64-ia64.c:

  got = ia64_info->root.sgot;
  if (!got)
    {
      flagword flags;

      dynobj = ia64_info->root.dynobj;
      if (!dynobj)
        ia64_info->root.dynobj = dynobj = abfd;
      if (!_bfd_elf_create_got_section (dynobj, info))
        return 0;

      got = ia64_info->root.sgot;

ia64_info->root.sgot is NULL and _bfd_elf_create_got_section is called
to create one. However, IPA-SRA turns

get_got (struct bfd * abfd, struct bfd_link_info * info, struct
elf64_ia64_link_hash_table * ia64_info)

into

get_got (struct bfd * abfd, struct bfd_link_info * info, struct bfd * *
ISRA.111, struct asection * ISRA.112)

Where does "struct asection * ISRA.112" come from? It doesn't look right.

It then generates:

<bb 5>:
  # dynobj_3 = PHI <dynobj_6(3), abfd_7(D)(4)>
  # DEBUG dynobj => dynobj_3
  D.16894_10 = _bfd_elf_create_got_section (dynobj_3, info_9(D));
  if (D.16894_10 == 0)
    goto <bb 10>;
  else
    goto <bb 6>;

<bb 6>:
  got_12 = ISRA.112_15(D);

and later we get

  # dynobj_362 = PHI <dynobj_361(104), abfd_39(D)(105)>
  # DEBUG dynobj => dynobj_362
  D.18569_363 = _bfd_elf_create_got_section (dynobj_362, info_35(D));
  if (D.18569_363 == 0)
    goto <bb 111>;
  else
    goto <bb 107>;

<bb 107>:
  got_364 = D.18212_262;

Withot IPA-SRA, we get

  D.16894_10 = _bfd_elf_create_got_section (dynobj_3, info_9(D));
  if (D.16894_10 == 0)
    goto <bb 10>;
  else
    goto <bb 6>;

<bb 6>:
  got_12 = ia64_info_4(D)->root.sgot;


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  GCC build triplet|x86_64-unknown-linux-gnu    |
   GCC host triplet|x86_64-unknown-linux-gnu    |


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

[Bug tree-optimization/41750] [4.5 Regression] gcc 4.5.0 miscompiles binutils

[hjl dot tools at gmail dot com]

------- Comment #23 from hjl dot tools at gmail dot com  2009-10-29 22:02 -------
Created an attachment (id=18930)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18930&action=view)
A testcase

[hjl@gnu-6 pr41750]$ make clean
rm -f *.o *.s *.c.*
[hjl@gnu-6 pr41750]$ make CFLAGS="-O -fipa-sra"
/export/build/gnu/gcc/build-x86_64-linux/gcc/xgcc
-B/export/build/gnu/gcc/build-x86_64-linux/gcc/ -O -fipa-sra   -c -o foo.o
foo.c
/export/build/gnu/gcc/build-x86_64-linux/gcc/xgcc
-B/export/build/gnu/gcc/build-x86_64-linux/gcc/ -O -fipa-sra   -c -o main.o
main.c
/export/build/gnu/gcc/build-x86_64-linux/gcc/xgcc
-B/export/build/gnu/gcc/build-x86_64-linux/gcc/ -o foo foo.o main.o
./foo
make: *** [all] Error 1
[hjl@gnu-6 pr41750]$ make clean
rm -f *.o *.s *.c.*
[hjl@gnu-6 pr41750]$ make CFLAGS=-O
/export/build/gnu/gcc/build-x86_64-linux/gcc/xgcc
-B/export/build/gnu/gcc/build-x86_64-linux/gcc/ -O   -c -o foo.o foo.c
/export/build/gnu/gcc/build-x86_64-linux/gcc/xgcc
-B/export/build/gnu/gcc/build-x86_64-linux/gcc/ -O   -c -o main.o main.c
/export/build/gnu/gcc/build-x86_64-linux/gcc/xgcc
-B/export/build/gnu/gcc/build-x86_64-linux/gcc/ -o foo foo.o main.o
./foo
[hjl@gnu-6 pr41750]$ 


-- 


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

[Bug tree-optimization/41750] [4.5 Regression] IPA-SRA is broken

[jamborm at gcc dot gnu dot org]

------- Comment #24 from jamborm at gcc dot gnu dot org  2009-10-30 18:22 -------
Thanks for the simple testcase, it has certainly helped me.  I have
sent a patch to address this issue to the mailing list:

http://gcc.gnu.org/ml/gcc-patches/2009-10/msg01814.html


-- 


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

[Bug tree-optimization/41750] [4.5 Regression] IPA-SRA is broken

[jamborm at gcc dot gnu dot org]

------- Comment #25 from jamborm at gcc dot gnu dot org  2009-11-02 14:14 -------
Subject: Bug 41750

Author: jamborm
Date: Mon Nov  2 14:13:49 2009
New Revision: 153809

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=153809
Log:
2009-11-02  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/41750
        * tree-sra.c (analyze_modified_params): Loop over all
        representatives of components of a parameter.

        * testsuite/gcc.c-torture/execute/pr41750.c: New test.


Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr41750.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-sra.c


-- 


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

[Bug tree-optimization/41750] [4.5 Regression] IPA-SRA is broken

[jamborm at gcc dot gnu dot org]

------- Comment #26 from jamborm at gcc dot gnu dot org  2009-11-02 14:33 -------
Tthis is now fixed.


-- 

jamborm at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/41750] [4.5 Regression] IPA-SRA is broken

[hjl at gcc dot gnu dot org]

------- Comment #27 from hjl at gcc dot gnu dot org  2009-11-20 14:50 -------
Subject: Bug 41750

Author: hjl
Date: Fri Nov 20 14:49:22 2009
New Revision: 154366

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154366
Log:
2009-11-20  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2009-11-18  Alexandre Oliva  <aoliva@redhat.com>

        PR debug/41926
        * gcc.dg/vect/vect-debug-pr41926.c: New.

        2009-11-16  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/42055
        * g++.dg/template/crash92.C: New.

        2009-11-08  Richard Guenther  <rguenther@suse.de>

        PR rtl-optimization/41928
        * gfortran.dg/pr41928.f90: New testcase.

        2009-11-06  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/41935
        * gcc.dg/pr41935.c: New test.
        * c-c++-common/pr41935.c: New test.
        * gcc.c-torture/execute/pr41935.c: New test.

        2009-11-04  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/41919
        * gcc.c-torture/execute/pr41919.c: New testcase.

        2009-11-03  Tobias Burnus  <burnus@net-b.de>

        PR fortran/41907
        * gfortran.dg/missing_optional_dummy_6.f90: New test.

        2009-11-02  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/41750
        * gcc.c-torture/execute/pr41750.c: New test.

        2009-11-02  Jakub Jelinek  <jakub@redhat.com>

        PR tree-optimization/41841
        * gcc.dg/pr41841.c: New test.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/c-c++-common/pr41935.c
      - copied unchanged from r154365,
trunk/gcc/testsuite/c-c++-common/pr41935.c
    branches/gcc-4_4-branch/gcc/testsuite/g++.dg/template/crash92.C
      - copied unchanged from r154365,
trunk/gcc/testsuite/g++.dg/template/crash92.C
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr41750.c
      - copied unchanged from r154365,
trunk/gcc/testsuite/gcc.c-torture/execute/pr41750.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr41919.c
      - copied unchanged from r154365,
trunk/gcc/testsuite/gcc.c-torture/execute/pr41919.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr41935.c
      - copied unchanged from r154365,
trunk/gcc/testsuite/gcc.c-torture/execute/pr41935.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr41841.c
      - copied unchanged from r154365, trunk/gcc/testsuite/gcc.dg/pr41841.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr41935.c
      - copied unchanged from r154365, trunk/gcc/testsuite/gcc.dg/pr41935.c
    branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/vect/vect-debug-pr41926.c
      - copied unchanged from r154365,
trunk/gcc/testsuite/gcc.dg/vect/vect-debug-pr41926.c
   
branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/missing_optional_dummy_6.f90
      - copied unchanged from r154365,
trunk/gcc/testsuite/gfortran.dg/missing_optional_dummy_6.f90
    branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/pr41928.f90
      - copied unchanged from r154365,
trunk/gcc/testsuite/gfortran.dg/pr41928.f90
Modified:
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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