Thanks, Jakub! I just realized that I failed to commit some small changes I had meant to suggest to this patch. Applied now, with a bit of delay.
Gerald Index: changes.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-4.7/changes.html,v retrieving revision 1.31 diff -u -r1.31 changes.html --- changes.html 25 Sep 2011 21:34:25 -0000 1.31 +++ changes.html 25 Sep 2011 22:35:34 -0000 @@ -351,15 +351,15 @@ <ul> <li> - A new option (<code>-grecord-gcc-switches</code>) was added to request - appending of compiler command line options that might affect code + A new option (<code>-grecord-gcc-switches</code>) was added that + appends compiler command-line options that might affect code generation to the <code>DW_AT_producer</code> attribute string in the DWARF debugging information. </li> <li> - GCC now supports various new DWARF debugging information format - GNU extensions, like + GCC now supports various new GNU extensions to the DWARF debugging + information format, like <a href="http://www.dwarfstd.org/ShowIssue.php?issue=100909.1";>entry value</a> and <a @@ -369,8 +369,8 @@ or <a href="http://www.dwarfstd.org/ShowIssue.php?issue=110722.1";>a more compact macro representation</a>. Support for these extensions - will come in GDB 7.4, they can be disabled through - <code>-gstrict-dwarf</code> command line option. + will come in GDB 7.4. They can be disabled through the + <code>-gstrict-dwarf</code> command-line option. </li> </ul>