Re: [Chicken-janitors] #916: lolevel-tests.scm failure on Linux/PPC (assertion failed: (pair? some-foo))

[Chicken Trac]

#916: lolevel-tests.scm failure on Linux/PPC (assertion failed: (pair? 
some-foo))
----------------------+-----------------------------------------------------
  Reporter:  mario    |       Owner:               
      Type:  defect   |      Status:  closed       
  Priority:  major    |   Milestone:  4.9.0        
 Component:  unknown  |     Version:  4.8.x        
Resolution:  wontfix  |    Keywords:  lolevel tests
----------------------+-----------------------------------------------------

Old description:

> 4.8.0rc3 tarball on Linux/PPC:
>
> {{{
> $ make PLATFORM=linux PREFIX=/home/mario/local/chicken-4.8.0rc3 check
>
> ======================================== lolevel tests ...
> ../chicken lolevel-tests.scm -output-file a.c -verbose -include-path ..
> gcc a.c -o a.o -c  -fno-strict-aliasing -fwrapv -DHAVE_CHICKEN_CONFIG_H
> -DC_ENABLE_PTABLES -Os -fomit-frame-pointer -I..
> -I"/home/mario/local/chicken-4.8.0rc3/include/chicken"
> rm a.c
> gcc a.o -o a.out -L.. -L"/home/mario/local/chicken-4.8.0rc3/lib"
> -Wl,-R"/home/mario/local/chicken-4.8.0rc3/lib" -lchicken -lm -ldl
> rm a.o
>
> Error: (lolevel-tests.scm:241) assertion failed: (pair? some-foo)
>
>         Call history:
>
>         lolevel-tests.scm:180: number-of-bytes
>         lolevel-tests.scm:184: make-record-instance
>         lolevel-tests.scm:190: record-instance?
>         lolevel-tests.scm:192: record-instance?
>         lolevel-tests.scm:196: record-instance-type
>         lolevel-tests.scm:200: record-instance-length
>         lolevel-tests.scm:206: record-instance-slot
>         lolevel-tests.scm:208: record-instance-slot-set!
>         lolevel-tests.scm:210: record-instance-slot
>         lolevel-tests.scm:214: record->vector
>         lolevel-tests.scm:222: object-size
>         lolevel-tests.scm:224: object-evict
>         lolevel-tests.scm:226: object-evicted?
>         lolevel-tests.scm:227: object-release
>         lolevel-tests.scm:239: object-become!
>         lolevel-tests.scm:241: ##sys#error              <--
> make[1]: *** [check] Error 70
> make[1]: Leaving directory `/home/mario/src/chicken-4.8.0rc3'
> make: *** [check] Error 2
> }}}
>
> {{{
> $ gcc --version
> gcc (Debian 4.4.5-8) 4.4.5
> Copyright (C) 2010 Free Software Foundation, Inc.
> This is free software; see the source for copying conditions.  There is
> NO
> warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
> PURPOSE.
> }}}

New description:

 4.8.0rc3 tarball on Linux/PPC:

 {{{
 $ make PLATFORM=linux PREFIX=/home/mario/local/chicken-4.8.0rc3 check

 ======================================== lolevel tests ...
 ../chicken lolevel-tests.scm -output-file a.c -verbose -include-path ..
 gcc a.c -o a.o -c  -fno-strict-aliasing -fwrapv -DHAVE_CHICKEN_CONFIG_H
 -DC_ENABLE_PTABLES -Os -fomit-frame-pointer -I..
 -I"/home/mario/local/chicken-4.8.0rc3/include/chicken"
 rm a.c
 gcc a.o -o a.out -L.. -L"/home/mario/local/chicken-4.8.0rc3/lib"
 -Wl,-R"/home/mario/local/chicken-4.8.0rc3/lib" -lchicken -lm -ldl
 rm a.o

 Error: (lolevel-tests.scm:241) assertion failed: (pair? some-foo)

         Call history:

         lolevel-tests.scm:180: number-of-bytes
         lolevel-tests.scm:184: make-record-instance
         lolevel-tests.scm:190: record-instance?
         lolevel-tests.scm:192: record-instance?
         lolevel-tests.scm:196: record-instance-type
         lolevel-tests.scm:200: record-instance-length
         lolevel-tests.scm:206: record-instance-slot
         lolevel-tests.scm:208: record-instance-slot-set!
         lolevel-tests.scm:210: record-instance-slot
         lolevel-tests.scm:214: record->vector
         lolevel-tests.scm:222: object-size
         lolevel-tests.scm:224: object-evict
         lolevel-tests.scm:226: object-evicted?
         lolevel-tests.scm:227: object-release
         lolevel-tests.scm:239: object-become!
         lolevel-tests.scm:241: ##sys#error              <--
 make[1]: *** [check] Error 70
 make[1]: Leaving directory `/home/mario/src/chicken-4.8.0rc3'
 make: *** [check] Error 2
 }}}

 {{{
 $ gcc --version
 gcc (Debian 4.4.5-8) 4.4.5
 Copyright (C) 2010 Free Software Foundation, Inc.
 This is free software; see the source for copying conditions.  There is NO
 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
 PURPOSE.
 }}}

--

Comment(by mario):

 I observed the same behavior with gcc 4.7.2 on Linux/x86, CHICKEN master
 as of 445e245a54b56e232236c3a47ce4905ca79b2007:

 {{{
 $ gcc --version
 gcc (Debian 4.7.2-5) 4.7.2
 Copyright (C) 2012 Free Software Foundation, Inc.
 This is free software; see the source for copying conditions.  There is NO
 warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
 PURPOSE.
 }}}

 The error is

 {{{
 ======================================== lolevel tests ...

 Error: assertion failed: (pair? some-foo)

         Call history:

         <syntax>          (cons some-bar (quote #(1 2 3)))
         <syntax>          (quote #(1 2 3))
         <syntax>          (##core#quote #(1 2 3))
         <eval>    (object-become! (list (cons some-foo (quote (1 2 3)))
 (cons some-bar (quote #(1 2 3)))))
         <eval>    (list (cons some-foo (quote (1 2 3))) (cons some-bar
 (quote #(1 2 3))))
         <eval>    (cons some-foo (quote (1 2 3)))
         <eval>    (cons some-bar (quote #(1 2 3)))
         <syntax>          (assert (pair? some-foo))
         <syntax>          (##core#if (##core#check (pair? some-foo))
 (##core#undefined) (##sys#error "assertion failed" (##cor......
         <syntax>          (##core#check (pair? some-foo))
         <syntax>          (pair? some-foo)
         <syntax>          (##core#undefined)
         <syntax>          (##sys#error "assertion failed" (##core#quote
 (pair? some-foo)))
         <syntax>          (##core#quote (pair? some-foo))
         <eval>    (pair? some-foo)
         <eval>    (##sys#error "assertion failed" (##core#quote (pair?
 some-foo)))      <--
 make[1]: *** [check] Error 70
 make[1]: Leaving directory `/home/mario/src/chicken-core'
 make: *** [check] Error 2
 }}}

 I pretty printed some-foo after object-become! and it printed
 {{{#<unprintable object>}}}

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/916#comment:7>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.