Bug#346552: Axiom unsoundness

2006-10-27 Thread Gabriel Dos Reis
Camm Maguire <[EMAIL PROTECTED]> writes: | Greetings! Please be aware that in most cases this message is, | unfortunately, misleading about memory corruption. Segfaults are | grouped here with a number of other errors which the error handler | cannot properly process, usually because of some bug

Bug#346552: Axiom unsoundness

2006-10-27 Thread Camm Maguire
Greetings! Please be aware that in most cases this message is, unfortunately, misleading about memory corruption. Segfaults are grouped here with a number of other errors which the error handler cannot properly process, usually because of some bug in the error handler. Of course you can see if y

Bug#346552: Axiom unsoundness

2006-10-27 Thread Gabriel Dos Reis
Waldek Hebisch <[EMAIL PROTECTED]> writes: [...] | All this is based on system trace. AFAICS when AXIOMsys runs | standalone there is no select loop. I tried to give "(1) ->\n" | and then ^C to standalone AXIOMsys -- the trace looks quite similar | but AXIOMsys produces reasonable error message