http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50799 --- Comment #6 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2011-10-20 19:57:41 UTC --- What kind of error are you getting from gdb 7.3? Since 7.2 is getting the correct info, that's the bug report that ought to be submitted to GDB.