Re: [Gcl-devel] Re: Can't build ACL2 using GCL under Mac OS X 3.3

[Camm Maguire]

Greetings!

Aurelien Chanudet <address@hidden> writes:

> >  I would have thought a bad fault address would
> > result in a crash, not
> >  an infinite loop.
> 
> I guess you're right. John, would it be possible for
> you to upload your saved_gcl runnable somewhere on the
> web for me to pick it up and run it within gdb to sort
> out the matter ?
> 
> > It would be interesting to
> > notice if you can
> >  trigger the 'fault address recovery failure'
> > message for such
> >  situations when doing simply (si::sgc-on t) in GCL
> > when your 'dar
> >  exception state' workaround is disabled.
> 
> What kind of error message should I get ?
> 

Well, there are several possibilities depending on the failure, but
most likely you'll see the same as we currently see on hppa:

The SGC segfault recovery test failed with memprotect_bad_fault_address, SGC 
disabled

Please keep me posted if we have a real problem.

Take care,


> Aurelien
> 
> 
>       
>       
>               
> Dialoguez en direct avec vos amis grâce à Yahoo! Messenger !Téléchargez 
> Yahoo! Messenger sur http://fr.messenger.yahoo.com
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah