On Tue, 07 May 2013 16:40:32 +0200, Tom Tromey wrote: > Joel> Should we consider changing it into an internal_warning? > > I think that is fine as long as it still makes tests fail. FYI even the gdb_assert did not make all tests fail, I had to grep gdb.log. Jan