[Bug debug/49871] New: -gdwarf-3 creates invalid DWARF3 with DW_AT_data_member_location attribute

[Bug debug/49871] New: -gdwarf-3 creates invalid DWARF3 with DW_AT_data_member_location attribute

[jakub at gcc dot gnu.org]

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

           Summary: -gdwarf-3 creates invalid DWARF3 with
                    DW_AT_data_member_location attribute
           Product: gcc
           Version: 4.6.2
            Status: UNCONFIRMED
          Keywords: wrong-debug
          Severity: normal
          Priority: P3
         Component: debug
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jakub@gcc.gnu.org


As mentioned in
http://sources.redhat.com/ml/binutils/2011-07/msg00237.html

/* { dg-options "-gdwarf-3" } */
struct s { char a[1<<24]; int b; } s;

results in invalid DWARF3, as DW_AT_data_member_location attribute uses
DW_FORM_data4 for constant value, while the standard says that in this case
DW_FORM_data4 or DW_FORM_data8 aren't allowed for constants and are used for
loclistptr instead.

[Bug debug/49871] -gdwarf-3 creates invalid DWARF3 with DW_AT_data_member_location attribute

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.07.27 17:24:08
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-07-27 17:24:08 UTC ---
Created attachment 24843
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24843
gcc47-pr49871.patch

Untested fix.

[Bug debug/49871] -gdwarf-3 creates invalid DWARF3 with DW_AT_data_member_location attribute

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-07-28 16:21:14 UTC ---
Author: jakub
Date: Thu Jul 28 16:21:08 2011
New Revision: 176876

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176876
Log:
    PR debug/49871
    * dwarf2out.c (size_of_die, value_format, output_die): Use
    DW_FORM_udata instead of DW_FORM_data[48] for
    dw_val_class_unsigned_const DW_AT_data_member_location for DWARF 3.

    * gcc.dg/debug/dwarf2/pr49871.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/debug/dwarf2/pr49871.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/dwarf2out.c
    trunk/gcc/testsuite/ChangeLog

[Bug debug/49871] -gdwarf-3 creates invalid DWARF3 with DW_AT_data_member_location attribute

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-07-28 20:37:50 UTC ---
Author: jakub
Date: Thu Jul 28 20:37:43 2011
New Revision: 176895

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176895
Log:
    PR debug/49871
    * dwarf2out.c (size_of_die, value_format, output_die): Use
    DW_FORM_udata instead of DW_FORM_data[48] for
    dw_val_class_unsigned_const DW_AT_data_member_location for DWARF 3.

    * gcc.dg/debug/dwarf2/pr49871.c: New test.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/gcc.dg/debug/dwarf2/pr49871.c
Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/dwarf2out.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug debug/49871] -gdwarf-3 creates invalid DWARF3 with DW_AT_data_member_location attribute

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-07-28 21:11:13 UTC ---
Fixed.