> Note that we did not experience any such problems with the same > version of gdb and gcc2.95.3 Hi. I mean to look in detail at your PR later today, but, in the meanwhile: /which/ version of gdb? Paolo. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8542