[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=548607





--- Comment #11 from Jerry James <loganjerry at gmail.com>  2009-12-22 17:42:57 EDT ---
That's annoying.  The workaround fixed the hang with 64-bit XEmacs, and 64-bit
Emacs never seemed to have a problem.  So what's up with 32-bit Emacs?

I don't know, off the top of my head.  Can you try setting PVSEMACS=xemacs and
see if you get the same hang?  If so, it really is a 32-bit versus 64-bit issue
somehow, although I still fail to see how that could have anything to do with
it.

If not, we'll just set PVSEMACS in the spec file to make sure we don't get a
hung build for now, and I'll talk to the Emacs developers to see if they have
any ideas.

Incidentally, there's another bug somewhere.  I was just working on a proof,
tried to prove a TCC, and Lisp threw an error, claiming that
*EXPRS-GENERATING-ACTUAL-TCCS* is unbound.  That isn't possible, since it is
defvar'd in globals.lisp and given an initial value of nil.  I did a setq to
nil, and was able to continue with the proof, but that shouldn't have
happened...

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.