Comment 2 for bug 2028575

Revision history for this message
''the Phoeron'' Colin J.E. Lupton (thephoeron) wrote :

One would certainly think so. I was pretty confused by this myself, given that the only thing I expect safety optimization to affect is the degree of type-checking preserved in the FASL for runtime, so I have no idea if I characterized the issue correctly. The inconsistent behaviour across platforms didn't help either.

Naturally, I explored all the conjectures specific to CL-ISAAC first. I followed delta debugging, zeroed in on the compiler-policy restriction settings, and came up with a first stab at a falsifiable hypothesis. We need at least one more, but nothing else has come to me yet. At any rate, it was a good enough hypothesis to get CL-ISAAC working on SBCL again.