guile-1.4.1: test failures under shared library, -O3

guile-1.4.1: test failures under shared library, -O3

[Michael Deutschmann]

I have encountered the following "make check" failure attempting
to build guile-1.4.1:

FAIL: r4rs.test: (6 9): (#<procedure leaf-eq? (x y)> (a (b (c))) ((a) b c))

I normally use maximal optimization ("-O3 -fomit-frame-pointer
-fstrict-aliasing") to compile programs, and found that the problem does
not occur when no flags are specified.  It also doesn't happen if guile
is configured not to use shared libraries.

By swap experiments, I've narrowed the problem to "continuations.c".  If
this file is compiled with "-fPIC" and "-O3", the test suite will not
succeed. If "-fomit-frame-pointer" is also specifed, the above test
failure will occur -- otherwise, the test suite will segfault.

Versions:
i486-pc-linux-gnu
linux-2.0.40rc4
glibc-2.1.3
gcc-2.95.3

---- Michael Deutschmann <michael@talamasca.ocis.net>

_______________________________________________
Bug-guile mailing list
Bug-guile@gnu.org
http://mail.gnu.org/mailman/listinfo/bug-guile

Re: guile-1.4.1: test failures under shared library, -O3

[Thien-Thi Nguyen]

   From: Michael Deutschmann <michael@talamasca.ocis.net>
   Date: Thu, 23 May 2002 21:42:36 -0700 (PDT)

   [r4rs.test errors if continuations.c compiled w/ "-fPIC -O3",
              segfaults if also w/ "-fomit-frame-pointer"]

thanks for the bug report.  i suspect "-fomit-frame-pointer" screws up
stack-based garbage collection, but am not yet learned enough to say for
sure.

could you supply a ./configure invocation (including env vars) that
reproduces the "-fPIC -O3" problem?  i can guess but i'd rather not.

thi

_______________________________________________
Bug-guile mailing list
Bug-guile@gnu.org
http://mail.gnu.org/mailman/listinfo/bug-guile

Re: guile-1.4.1: test failures under shared library, -O3

[Michael Deutschmann]

On Sun, 16 Jun 2002, Thien-Thi Nguyen wrote:
> could you supply a ./configure invocation (including env vars) that
> reproduces the "-fPIC -O3" problem?  i can guess but i'd rather not.

`CFLAGS="-fPIC -O3" configure' should work.  I don't recall exactly, but
I'm pretty sure I clipped out everything that wasn't needed to trip the
bug.  My normal configure invocation is pretty big...

`CFLAGS=-O3 configure --enable-shared' also trips the bug -- I just used
-fPIC explicitly with static libs to rule out any other cause intrinsic
to shared library linking.

---- Michael Deutschmann <michael@talamasca.ocis.net>

_______________________________________________
Bug-guile mailing list
Bug-guile@gnu.org
http://mail.gnu.org/mailman/listinfo/bug-guile

Re: guile-1.4.1: test failures under shared library, -O3

[Thien-Thi Nguyen]

fyi, i've added this as:

  1007-cc-optimizations-break-r4rs-test

thi

_______________________________________________
Bug-guile mailing list
Bug-guile@gnu.org
http://mail.gnu.org/mailman/listinfo/bug-guile