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

["hjl dot tools at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

------- 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