------- Comment #3 from sabre at nondot dot org 2006-01-23 21:23 ------- Absolutely, it would be great to handle that as well. The risk of making a particular bugzilla PR more general is that it reduces the chance that it will ever get fixed though.
-Chris -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25915
