From: Attila Lendvai <attila.lendvai@gm...> - 2011-10-27 09:11:12
Eric, i'm amazed by the number and the kind of bugs you find...
just out of curiosity, may i ask what you are working on to find all these bugs?
Notice the erosion of your (digital) freedom, and do something about it!
PGP: 2FA1 A9DC 9C1E BA25 A59C 963F 5D5F 45C7 DFCD 0A39
OTR XMPP: 8647EEAC EA30FEEF E1B55146 573E52EE 21B1FF06
From: Eric Marsden <eric.marsden@fr...> - 2011-10-27 10:25:55
>>>>> "al" == Attila Lendvai <attila.lendvai@...> writes:
al> Eric, i'm amazed by the number and the kind of bugs you find...
al> just out of curiosity, may i ask what you are working on to find all these bugs?
Finding bugs is my hobby ... They are almost always from the ansi-test
suite (written by Paul Dietz and maintained by Erik Huelsmann and Sam
Steingold), mostly the random integer testing and random-type testing
code (automated stochastic testing + manual simplification of the failing
On 26 October 2011 18:58, Eric Marsden <eric.marsden@...> wrote:
> | * (lisp-implementation-version)
> | "188.8.131.52-8b88c20-dirty"
> | * (defun foo (a)
> | (declare (type (integer -50 50) a))
> | (declare (optimize (speed 0)))
> | (mod (mod a (min -5 a)) 5))
> | FOO
> | * (foo 1)
> | CORRUPTION WARNING in SBCL pid 7027(tid 140737353942784):
> | Memory fault at a (pc=0x20100017, sp=0x7ffff6d67520)
> | The integrity of this image is possibly compromised.
> | Continuing with fingers crossed.
> | debugger invoked on a SB-SYS:MEMORY-FAULT-ERROR:
> | Unhandled memory fault at #xA.
Thanks! Logged as https://bugs.launchpad.net/sbcl/+bug/883500
I was able to discern that this is tied to (< SPEED SPACE), but
couldn't yet pinpoint it beyond that.