[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Chicken-hackers] regression - probably in let*

From: Mario Domenech Goulart
Subject: Re: [Chicken-hackers] regression - probably in let*
Date: Mon, 15 Jun 2015 17:55:11 +0000
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux)

Hi Jörg,

On Mon, 15 Jun 2015 17:35:07 +0200 "Jörg F. Wittenberger" <address@hidden> 

> The attached test case works in csi but fails in csc.
> Possibly related to optimization options.  Compile as:
> csc  -O3 -clustering -no-argc-checks -no-procedure-checks
> -no-bound-checks -no-trace -no-lambda-info -specialize -lfa2
> -strict-types -disable-stack-overflow-checks -unsafe test-failing.scm
> to see it terminate with exit code 1.
> BTW: I'd have expected the assert (not (foo? "a b")) to kick in, but
> this does not happen.
> Sorry, no clue, no patch.

I can reproduce the problem you report.  Looks like it is caused by

$ ~/local/chicken- -O3 -strict-types -unsafe test-failing.scm
$ ./test-failing
$ echo $?

$ ~/local/chicken-master-clang/bin/csc -O3 -strict-types -unsafe 
$ ./test-failing
$ echo $?

And it seems that -unsafe is causing the assertion to "pass":

$ ~/local/chicken-master-clang/bin/csc -O3 -strict-types test-failing.scm
$ ./test-failing

Error: (test-failing.scm:17) assertion failed: (not (foo? "a b"))

        Call history:

        test-failing.scm:16: foo?
        test-failing.scm:7: loop
        test-failing.scm:17: foo?
        test-failing.scm:7: loop
        test-failing.scm:7: loop
        test-failing.scm:7: loop
        test-failing.scm:17: ##sys#error                <--

Best wishes.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]