[Axiom-developer] Re: Bug#346552: Axiom unsoundness

[Gabriel Dos Reis]

Camm Maguire <address@hidden> 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 in the error
| handler.  Of course you can see if you really have a segfault with
| strace, presuming you are not running with sgc on (si::sgc-on
| nil). (or of course when running under gdb).
| 
| Obviously this needs improving, but an error system overhaul must wait
| for 2.7.  If you can track it down to some specific gcl read error or
| some such, we might be able to get a fix in 2.6.8.  I'd suggest seeing
| if such an error could be triggered with AXIOMsys first, and if
| necessary, check with (si::readline-off).  But at least the parent
| issue appears to primarily concern sman.

Many thanks for the suggestion.  I'll give it a shot next week-end (this
one is already overbooked).


-- Gaby