[Bug libstdc++/55041] prettyprinting/shared_ptr & cxx11 fails on some platforms

["mark at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

--- Comment #14 from Mark Wielaard <mark at gcc dot gnu.org> 2012-11-17 13:27:03 UTC ---
>>     dwarf2out.c: For DWARF 4+, output DW_AT_high_pc as constant offset.
>> 
>> 
>> This required a gdb change.
>
> Ah, that should be in http://gcc.gnu.org/gcc-4.8/changes.html then. Mark?

How about something like:

diff -u -r1.57 changes.html
--- htdocs/gcc-4.8/changes.html    14 Nov 2012 04:45:41 -0000    1.57
+++ htdocs/gcc-4.8/changes.html    17 Nov 2012 13:24:24 -0000
@@ -53,6 +53,14 @@
 <h2>General Optimizer Improvements (and Changes)</h2>

   <ul>
+    <li>DWARF4 is now the default when generating DWARF debug information.
+      When -g is used on a platform that uses DWARF debugging information,
+      GCC will now default to -gdwarf-4 -fno-debug-types-section.
+      GDB 7.5, Valgrind 3.8.0 and elfutils 0.154 debug information consumers
+      support DWARF4 by default. Before GCC 4.8 the default version used
+      was DWARF2. To make gcc 4.8 generate an older DWARF version use -g
+      together with -gdwarf-2 or -gdwarf-3.
+    </li>
     <li>A new general optimization level, <code>-Og</code>, has been
       introduced.  It addresses the need for fast compilation and a
       superior debugging experience while providing a reasonable level

On which list should website changes be proposed?