From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id yFePN+vRhmPAdQAAbAwnHQ (envelope-from ) for ; Wed, 30 Nov 2022 04:45:47 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id eNyCN+vRhmNGwQAAauVa8A (envelope-from ) for ; Wed, 30 Nov 2022 04:45:47 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id A085C2091A for ; Wed, 30 Nov 2022 04:45:47 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1p0E27-0005Yu-Ke; Tue, 29 Nov 2022 22:45:15 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1p0E20-0005YS-Gs for guix-devel@gnu.org; Tue, 29 Nov 2022 22:45:08 -0500 Received: from mail-4317.proton.ch ([185.70.43.17]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1p0E1w-0005ND-IX; Tue, 29 Nov 2022 22:45:08 -0500 Date: Wed, 30 Nov 2022 03:44:52 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lendvai.name; s=protonmail2; t=1669779899; x=1670039099; bh=vUo1zdbsMQS8opqlqE1Xdyeqe8S2ggtcXxa+bkVCjpM=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector; b=pFbbojL9amQBqA8YDc4bj70tWt4cvI4xdYOlbGWnN4P5vndu84iibOYlPtqyn/Jx3 +OCYhw7QsycSA89hXyXvmtS93hoh4WiZI/0+sXn4ozh1ozVTWuJ7Elz9I9EBR99Dwj 1sowRAtQBxCA3Ms3aAKPw3ZfnkrMc6m0ZnLaICd4hgrKpS0SSsH2635kvQUBAC5YR0 T/rLXjHNLDK+qajUWIdyk4LyuY/ilD1c+v0qVZQLXXNFQ6SW+4/WfW/Dsblf9y/UeO qLcT3gzpEq9Ban/wZ5ffq4JVCy4ZMEEQ/CISQccEy2odfs3cNz2pFxLPMCeTVMDFUP wgz0iTt5yJIZw== To: =?utf-8?Q?Ludovic_Court=C3=A8s?= From: Attila Lendvai Cc: Maxim Cournoyer , zimoun , guix-devel Subject: Re: Guile debugger workgroup? Message-ID: In-Reply-To: <87k03e6td6.fsf@gnu.org> References: <20221027035100.28852-1-maxim.cournoyer@gmail.com> <87sficqb71.fsf@gmail.com> <86fsebdpl9.fsf@gmail.com> <87r0xrjbx1.fsf_-_@gmail.com> <87fse69czr.fsf@gnu.org> <87edtpw0hq.fsf@gmail.com> <87sfi3e4eb.fsf@gnu.org> <2m-RU6GKIEuW6fwb1WzaIhGyxUcl0eRO1o3xiVUTqIoVzrmdplzfGTAGBxrToB_Ii55lnXjVEyOtRPzI_iSuwuTQ733CjZ8XAvv39Ho6EGQ=@lendvai.name> <87k03e6td6.fsf@gnu.org> Feedback-ID: 28384833:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=185.70.43.17; envelope-from=attila@lendvai.name; helo=mail-4317.proton.ch X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1669779947; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=vUo1zdbsMQS8opqlqE1Xdyeqe8S2ggtcXxa+bkVCjpM=; b=BWT+n03ypi5NUSHp81iBZ1KK7kXP3NNIhIv6Offxio+PHwPoWBruF949VC9Ju/j9QTvSTN Kred7qigJczSm5a/lPM8wssvRvyP3jBYu4IDE1fd9DsQlYIafnqGD/lWoB750bskCebi4Z mxsL0PSyCz5TAkErErgpxDReAB3DxwgN2g5N+gdbxUamXf7qouhGTHG1G8ZL8ZOIqlgUq1 1aDZIFfBKtB1bIouK5obBiIGgfKgpyhGODYUAYXSVf+78Qk9rjjuslB3w9ydRvnaousVBx tTprqCSL0vxUO0Gg1IKEtyPuR+R9kb0blkDcwI6n1Wn+obUMWVR32hEmcBKVRQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1669779947; a=rsa-sha256; cv=none; b=YznkC501fbR800lPUschJtpTV73cJ4WHC/N9p/wZXXqjRHO4rK3rvNLg+8xA2/832REyHg DHl/+9YK3cUAImFH4C/du7bBUyPyhNZz37n/nbrxnAch55BOHo7NYwZVRzPtC0a/SM23GZ 3CurCBDJSn7iUxilMArKqAYB2ct0+fR437FNI7sYO27IHQ2OzzwgHa7VRM7mFhs/q1yJkr vo7mXNiKBttuiyzrUPrSb45z0Lcpdb0R1mSvnejS3ODh1kIuSZPVZ2yEi0mqpgz5GaGwrG U8cOvlIEVpQEr+pjFJhOVAk6c7CM/fbhyiE+iceVoKAXpNegBxBcWUVT31mAFQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=lendvai.name header.s=protonmail2 header.b=pFbbojL9; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -0.96 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=lendvai.name header.s=protonmail2 header.b=pFbbojL9; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: A085C2091A X-Spam-Score: -0.96 X-Migadu-Scanner: scn1.migadu.com X-TUID: BDYfGj/eFdfa > > > The scenario you describe above should be possible above (there is a > > > debugger that supports breakpoints and single stepping). Now, it may > > > be, as you wrote, that inlining can lead breakpoints to never be hit,= or > > > that there are bugs in this area. These things should be fixed, I agr= ee. > >=20 > > i'm sure there's a way to globally override the debug/optimization/inli= ning level in guile to make sure the code compiles in a way that no breakpo= ints are missed (and/or backtraces remain more intact, etc). >=20 >=20 > Note that I=E2=80=99m not even sure this bug exists (hence =E2=80=9Cmay= =E2=80=9D :-)) but if it > does, you=E2=80=99re right, it=E2=80=99s probably a matter of compiling w= ith -O1. i would be quite surprised if brakepoints in Guile worked on inlined functi= on invocations... but hey! i like positive surprises! :) but in general, optimized code is usually less debuggable due to the tradeo= ffs taken. having a means to force parts of the codebase to run in unoptimi= zed form is usually very helpful when debugging. and sometimes it makes sense to straight out force parts of the code to alw= ays be unoptimized, or run in the interpreter, if it's not in a hotspot of = the codebase, and it's expected to be involved often in situations where er= rors are raised. --=20 =E2=80=A2 attila lendvai =E2=80=A2 PGP: 963F 5D5F 45C7 DFCD 0A39 -- =E2=80=9CLiberty means responsibility. That is why most men dread it.= =E2=80=9D =09=E2=80=94 George Bernard Shaw (1856=E2=80=931950), 'Man and Superman'