------- Comment #1 from bonzini at gnu dot org 2006-02-10 07:10 ------- I would like to change .00. to .*. (it becomes unmaintainable, otherwise).
I doubt any GCC release (except maybe 4.1) has the correct names for every single dump. Paolo -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26207
