------- Additional Comments From giovannibajo at libero dot it 2004-09-14 14:23 ------- BTW, we should not emit this stuff with error(), but rather internal_error() because this way it seems a normal diagnostic. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17478