[Bug debug/40713] New: Overlapping .debug_ranges (C++)

[Bug debug/40713] New: Overlapping .debug_ranges (C++)

[jan dot kratochvil at redhat dot com]

class C { 
  C();
  void f() {};
};
C::C() { f(); };

g++ -c -o cu-overlap.o cu-overlap.C -g -O0
readelf --debug-dump=Ranges cu-overlap.o

Contents of the .debug_ranges section:
    Offset   Begin            End
    00000000 0000000000000000 0000000000000034
    00000000 0000000000000000 000000000000000a
    00000000 0000000000000000 000000000000001a
    00000000 000000000000001a 0000000000000034
    00000000 <End of list>

Relocation section '.rela.debug_ranges' at offset 0x1560 contains 8 entries:
    Offset             Type      Symbol's Value  Symbol's Name + Addend 
0000000000000000  R_X86_64_64   0000000000000000 .text + 0
0000000000000008  R_X86_64_64   0000000000000000 .text + 34
0000000000000010  R_X86_64_64   0000000000000000 .text._ZN1C1fEv + 0
0000000000000018  R_X86_64_64   0000000000000000 .text._ZN1C1fEv + a
0000000000000020  R_X86_64_64   0000000000000000 .text + 0
0000000000000028  R_X86_64_64   0000000000000000 .text + 1a
0000000000000030  R_X86_64_64   0000000000000000 .text + 1a
0000000000000038  R_X86_64_64   0000000000000000 .text + 34


DWARF3 2.17.3: Address range entries in a range list may not overlap.

Contents of the .debug_ranges section:
    Offset   Begin            End
1st 00000000 0000000000000000 0000000000000034 - is from .Ltext0 .. .Letext0
2nd 00000000 0000000000000000 000000000000000a - NOT overlapping, COMDAT C::f()
3rd 00000000 0000000000000000 000000000000001a - is from first C::C() instance
4th 00000000 000000000000001a 0000000000000034 - is from second C::C() instance

1st overlaps with 3rd+4th.


-- 
           Summary: Overlapping .debug_ranges (C++)
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: debug
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jan dot kratochvil at redhat dot com
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug debug/40713] Overlapping .debug_ranges (C++)

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-07-10 18:27:42
               date|                            |


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

[Bug debug/40713] Overlapping .debug_ranges (C++)

[jakub at gcc dot gnu dot org]

------- Comment #1 from jakub at gcc dot gnu dot org  2009-07-10 19:33 -------
Created an attachment (id=18176)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18176&action=view)
gcc45-pr40713.patch

Untested patch.


-- 


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

[Bug debug/40713] Overlapping .debug_ranges (C++)

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2009-07-11 17:42 -------
Subject: Bug 40713

Author: jakub
Date: Sat Jul 11 17:41:59 2009
New Revision: 149514

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=149514
Log:
        PR debug/40713
        * dwarf2out.c (dw_fde_struct): Add in_std_section and
        cold_in_std_section bits.
        (dwarf2out_begin_prologue): Initialize them.
        (dwarf2out_finish): Don't emit FDE range into .debug_ranges
        if already covered by text_section or cold_text_section range.

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


-- 


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

[Bug debug/40713] Overlapping .debug_ranges (C++)

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2010-05-24 11:13 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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

[Bug debug/40713] Overlapping .debug_ranges (C++)

[Paulo.Matos at csr dot com]

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

Paulo J. Matos <Paulo.Matos at csr dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |Paulo.Matos at csr dot com

--- Comment #4 from Paulo J. Matos <Paulo.Matos at csr dot com> 2011-10-11 10:34:52 UTC ---
This also seems to occur on gcc 4.3.6, is the patch ever going to be backported
there?

[Bug debug/40713] Overlapping .debug_ranges (C++)

[paolo.carlini at oracle dot com]

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

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-11 10:40:33 UTC ---
As the home page says, 4.4.x is the oldest maintained branch..

[Bug debug/40713] Overlapping .debug_ranges (C++)

[Paulo.Matos at csr dot com]

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

--- Comment #6 from Paulo J. Matos <Paulo.Matos at csr dot com> 2011-10-11 11:48:08 UTC ---
(In reply to comment #5)
> As the home page says, 4.4.x is the oldest maintained branch..

Right! Sorry for the noise.