From: Eric M. <ema...@la...> - 2002-04-15 14:19:38
|
Hi, Compiling the following code causes SBCL 0.7.2 to bug. This only happens with optimization enabled, and only when the loop variable is being incremented by more than 1. ,---- | (defun foo (array) | (declare (optimize (safety 0) (space 0) (debug 0) (speed 3))) | (loop for i from 0 to 10 by 2 | do (foo (svref array i))) (svref array (1+ i))) `---- unhandled condition (of type SB-INT:BUG): full call to SB-KERNEL:DATA-VECTOR-REF This is probably a bug in SBCL itself. (Alternatively, SBCL might have been corrupted by bad user code, e.g. by an undefined Lisp operation like (FMAKUNBOUND 'COMPILE), or by stray pointers from alien code or from unsafe Lisp code; or there might be a bug in the OS or hardware that SBCL is running on.) If it seems to be a bug in SBCL itself, the maintainers would like to know about it. Bug reports are welcome on the SBCL mailing lists, which you can find at <http://sbcl.sourceforge.net/>. 0: ("hairy arg processor for top level local call SB!DEBUG:BACKTRACE" 128 #<SYNONYM-STREAM :SYMBOL SB-SYS:*STDERR* {5046111}>) 1: (SB-IMPL::NOPROGRAMMER-DEBUGGER-HOOK-FUN 2 #<SB-INT:BUG {9048DB9}> #<SB-DEBUG::UNPRINTABLE-OBJECT unavailable argument>)[:EXTERNAL] 2: (INVOKE-DEBUGGER 1 #<SB-INT:BUG {9048DB9}>)[:EXTERNAL] 3: (ERROR 5 SB-INT:BUG)[:EXTERNAL] 4: (SB-INT:BUG 2 "full call to ~S")[:EXTERNAL] 5: (SB-C::CHECK-FULL-CALL 1 #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME SB-KERNEL:DATA-VECTOR-REF :TYPE #<SB-KERNEL:FUN-TYPE (FUNCTION (SIMPLE-ARRAY (MOD 536870911)) T)> :WHERE-FROM :DECLARED :KIND :GLOBAL-FUNCTION {901FE31}> {901FE91}> :ARGS (#<SB-C::REF :LEAF #<SB-C::LAMBDA-VAR :%SOURCE-NAME ARRAY {900FDA1}> {9011749}> #<SB-C::REF :LEAF #<SB-C::LAMBDA-VAR :%SOURCE-NAME I :TYPE #<SB-KERNEL:UNION-TYPE (OR (INTEGER 2 536870912) (INTEGER 0 0))> {9010901}> {90117C9}>) {901FEC1}>)[:EXTERNAL] -- Eric Marsden <URL:http://www.laas.fr/~emarsden/> |
From: William H. N. <wil...@ai...> - 2002-04-16 01:29:33
|
On Mon, Apr 15, 2002 at 04:19:24PM +0200, Eric Marsden wrote: > Compiling the following code causes SBCL 0.7.2 to bug. This only > happens with optimization enabled, and only when the loop variable is > being incremented by more than 1. > > ,---- > | (defun foo (array) > | (declare (optimize (safety 0) (space 0) (debug 0) (speed 3))) > | (loop for i from 0 to 10 by 2 > | do (foo (svref array i))) (svref array (1+ i))) > `---- > > unhandled condition (of type SB-INT:BUG): > full call to SB-KERNEL:DATA-VECTOR-REF This is now bug 158. Thank you. -- William Harold Newman <wil...@ai...> "Just opened Christmas pressie from Sauron. Pretty, pretty, pretty, pretty ring!" -- http://home.nyu.edu/~amw243/diaries/wraith.html PGP key fingerprint 85 CE 1C BA 79 8D 51 8C B9 25 FB EE E0 C3 E5 7C |