On Wed, Mar 12, 2008 at 03:31:13PM -0700, Brian Budge wrote: > Should I submit a bug to the gdb bug database? Or could it be this > bug?: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27017. Or is it > another bug, but should be filed in gcc's bug database? Whatever it is, it is clearly a GCC bug. -- Daniel Jacobowitz CodeSourcery