#22366 - Chicken Scheme release tarballs ship non-source C code

Package	Source(s)		Maintainer(s)
guix		PTS Buildd Popcon

Message #14 received at 22366@debbugs.gnu.org (full text, mbox, reply):

Received: (at 22366) by debbugs.gnu.org; 15 May 2020 10:15:41 +0000
From debbugs-submit-bounces@debbugs.gnu.org Fri May 15 06:15:41 2020
Received: from localhost ([127.0.0.1]:35901 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1jZXNV-0005Xu-3w
	for submit@debbugs.gnu.org; Fri, 15 May 2020 06:15:41 -0400
Received: from mail-qt1-f178.google.com ([209.85.160.178]:33526)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <zimon.toutoune@gmail.com>) id 1jZXNT-0005Xg-BU
 for 22366@debbugs.gnu.org; Fri, 15 May 2020 06:15:39 -0400
Received: by mail-qt1-f178.google.com with SMTP id t25so1479230qtc.0
 for <22366@debbugs.gnu.org>; Fri, 15 May 2020 03:15:39 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
 h=mime-version:references:in-reply-to:from:date:message-id:subject:to
 :cc; bh=iM/aIKndu1LpcjRT+jCUqE+mBesec6qjtAyLD7bwWAM=;
 b=HuPHYh6NT8PebwbV6jlNwK2PUaezGygGjd/DWkte+qJCS/YWbfqrLmAK6l15ag/gNU
 uqrNdBoiKUMVUfqtOq17hHb9dTG8BoGXtpVrO3Z4gCDZIUBuYBKlsgOJjzCPKrLJIAkY
 jhue3ikwB3EGKyt6uuaTWKHFU+4MO/hcKbpwv1IQ2e0RHZJ4Fedtm0uRL/HUZJ+QrpLj
 cGhO4oTJQN4r+PxkaLULRLLHyhKc2Yd8VtPUE3cbk07fYwNjL6RFtXCOeixbdcPenUEz
 vu98bPxsyXZ7IueTNSae8x1TByWpuSaI6ZEeXIsnwNf6hksiH0S5hneAA2JsvFP4xCkZ
 xtzA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:mime-version:references:in-reply-to:from:date
 :message-id:subject:to:cc;
 bh=iM/aIKndu1LpcjRT+jCUqE+mBesec6qjtAyLD7bwWAM=;
 b=nVenWcw7UkFwG0JJcJJpevgaHeqqQsR/c+t4LByVCQXDA+V3lQGHucM8ijoPvdPn/8
 zOFJ9d0eRYCvrmw7bThLAPyU3T5ry0tDjMeOxXyrTZx7IUEHna5cG+iJTYo4qSTO9HI1
 TpsMjoSfOkdh9ismErMQHaL59JkstmuQ5gHjHvx2tepeEB1xXo4d8r0cyxM2pXE7fJ3E
 6imbEmm7eJZSezyqP7s7LePyYYawRsBNKJPIUrSNfzuE7mfQRv0v8m7TYzXNL0ISNRoB
 0tTd/YNW5e3TGDmpLcRljR/8PL1wqSt7ziTYCCvody6T8S4XWdVJiJKG830RboYod91q
 r0WA==
X-Gm-Message-State: AOAM531NM3H6ev8u1d/qwUKCALrDWsBHQ9kizqZXVSfCOCLy7TH3Z+cv
 8vIuyNDeDriZ3EsIMWxNTJmuYzb/y8Npkki+j4Y=
X-Google-Smtp-Source: ABdhPJySbqOjlpb/DuV8IRB//3eanVtFdRE9a2Ubc80v+unUeE9kAKtigkiD1ujUIzdeWjYq1uq2lol2/9UnRjOSEmM=
X-Received: by 2002:ac8:2db0:: with SMTP id p45mr2761310qta.354.1589537733759; 
 Fri, 15 May 2020 03:15:33 -0700 (PDT)
MIME-Version: 1.0
References: <CAJ3okZ2MQ0vfbUYMkk7iFgua6cnEYF94r4pVq6frQfZe0aOGFA@mail.gmail.com>
 <CAJ=RwfYs5AmO=nsEEqVJW0chcTCq94iBapOd8ab8ECKh9odTjA@mail.gmail.com>
In-Reply-To: <CAJ=RwfYs5AmO=nsEEqVJW0chcTCq94iBapOd8ab8ECKh9odTjA@mail.gmail.com>
From: zimoun <zimon.toutoune@gmail.com>
Date: Fri, 15 May 2020 12:15:21 +0200
Message-ID: <CAJ3okZ3Y0uiEd6zX6Y8wLUG8=VM5T9vxoH1=cfAXZaNdaaxQjA@mail.gmail.com>
Subject: Re: [EXT] Bug#22366 Status? Chicken Scheme release tarballs ship
 non-source C code
To: "Thompson, David" <dthompson2@worcester.edu>
Content-Type: text/plain; charset="UTF-8"
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 22366
Cc: 22366@debbugs.gnu.org
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit@debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces@debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Dear David,

On Thu, 14 May 2020 at 21:04, Thompson, David <dthompson2@worcester.edu> wrote:

> > Why is it an issue for bootstrappability?
>
> Because software is not bootstrappable if it requires taking for
> granted files that are not source code.  In this case, it is these C
> files.  These files are not source code because they are machine
> generated.  In order to generate these files, you need a Chicken
> Scheme compiler.  Therefore, you cannot build Chicken Scheme from
> source code without already having Chicken Scheme, which makes it
> non-bootstrappable.  I have not kept track of this issue but my
> understanding was that the Chicken developers do not care (which is
> unfortunately a very common reaction from developers of self-hosted
> compilers) but it is nevertheless a bootstrapping issue.

I am not following your reasoning.  The point is not how the C files
are generated but if they are auditable. -- which in most of the cases
means human-readable.

Considering these generated C files, even if I am not a C expert, they
seems un-auditable.

--8<---------------cut here---------------start------------->8---
C_noret_decl(f24858)
static void C_ccall f24858(C_word c,C_word *av) C_noret;
C_noret_decl(f_10015)
static void C_ccall f_10015(C_word c,C_word *av) C_noret;
C_noret_decl(f_10019)

[...]

/* k10021 in k10017 in a10014 in k9990 in k9987 in k9984 in k8730 in
k8463 in k8451 in k8448 in k8445 in k8441 in k8438 in k8432 in k8393
in walk in chicken.compiler.core#canonicalize-expression in k6295 in
k6292 in k6289 in k6286 in k6283 in ... */
static void C_ccall f_10023(C_word c,C_word *av){
C_word tmp;
C_word t0=av[0];
C_word t1=av[1];
C_word t2;
C_word t3;
C_word t4;
C_word *a;
if(C_unlikely(!C_demand(C_calculate_demand(4,c,4)))){
C_save_and_reclaim((void *)f_10023,c,av);}
a=C_alloc(4);
t2=C_mutate(((C_word *)((C_word*)t0)[2])+1,t1);
t3=(*a=C_CLOSURE_TYPE|3,a[1]=(C_word)f_10026,a[2]=((C_word*)t0)[3],a[3]=((C_word*)t0)[4],tmp=(C_word)a,a+=4,tmp);
/* core.scm:890: ##sys#current-environment1643 */
t4=((C_word*)t0)[5];{
C_word *av2;
if(c >= 5) {
  av2=av;
} else {
  av2=C_alloc(5);
}
av2[0]=t4;
av2[1]=t3;
av2[2]=((C_word*)t0)[6];
av2[3]=C_SCHEME_FALSE;
av2[4]=C_SCHEME_TRUE;
((C_proc)(void*)(*((C_word*)t4+1)))(5,av2);}}
--8<---------------cut here---------------end--------------->8---


> I don't think this can be closed because it is still an issue.

I have failed to generated these C files using another scheme
interpreter.  Yeah, it is more than a hack between the coffee and the
shower. :-)


Thank you for the clarifications and it is still an issue. :-)

All the best,
simon

Display info messages

Send a report that this bug log contains spam.

debbugs.gnu.org maintainers <help-debbugs@gnu.org>. Last modified: Tue Sep 9 12:15:47 2025; Machine Name: wallace-server

GNU bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

#22366 Chicken Scheme release tarballs ship non-source C code