From unknown Fri Sep 05 15:34:47 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#63517 <63517@debbugs.gnu.org> To: bug#63517 <63517@debbugs.gnu.org> Subject: Status: Fixing lcov usage? Reply-To: bug#63517 <63517@debbugs.gnu.org> Date: Fri, 05 Sep 2025 22:34:47 +0000 retitle 63517 Fixing lcov usage? reassign 63517 guix-patches submitter 63517 Luca Cirrottola severity 63517 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Mon May 15 08:10:53 2023 Received: (at submit) by debbugs.gnu.org; 15 May 2023 12:10:53 +0000 Received: from localhost ([127.0.0.1]:42933 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pyX2S-0005Rv-UN for submit@debbugs.gnu.org; Mon, 15 May 2023 08:10:53 -0400 Received: from lists.gnu.org ([209.51.188.17]:36622) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pyX2P-0005Rl-RH for submit@debbugs.gnu.org; Mon, 15 May 2023 08:10:52 -0400 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 1pyX2P-0007sl-4C for guix-patches@gnu.org; Mon, 15 May 2023 08:10:49 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pyX2M-00067z-Jw for guix-patches@gnu.org; Mon, 15 May 2023 08:10:48 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:subject:mime-version; bh=rKOTvSctJmFstKnkxLjLKGHX7Uo0g2izh8KBFyjHWu4=; b=VwVNjErctP1nxCndnu63HskSEe545kea6fVRayhEvRK/2DiN3vetOHfj tVOhEi7iJVSVsgugjzJswniZX7rX5kM4vTWQtmK2o4DN60wBLlgh73veZ oUPoVuj2a/4kRpTwYEM6j1zqnxflnynnGuPsutwJx97/B0D6jHvA1D+MY o=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=luca.cirrottola@inria.fr; spf=None smtp.helo=postmaster@zcs-store1.inria.fr Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of luca.cirrottola@inria.fr designates 128.93.142.28 as permitted sender) identity=mailfrom; client-ip=128.93.142.28; receiver=mail2-relais-roc.national.inria.fr; envelope-from="luca.cirrottola@inria.fr"; x-sender="luca.cirrottola@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@zcs-store1.inria.fr) identity=helo; client-ip=128.93.142.28; receiver=mail2-relais-roc.national.inria.fr; envelope-from="luca.cirrottola@inria.fr"; x-sender="postmaster@zcs-store1.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="5.99,276,1677538800"; d="c'?scan'208,217";a="108042949" X-MGA-submission: =?us-ascii?q?MDEn5hZXIv9e7F+4/loNNpiAPNPTiKExfVygBK?= =?us-ascii?q?0QIiJK6Jh0nil6epw9gEh+ZORchcpS83FaaEwJDRDSn6PorRwPETRO7E?= =?us-ascii?q?Ccf+h/cSGm2z59vK55rBniUB9CZT4Dp8Wzk6w2eR+B0IMdAR3EuuEPiX?= =?us-ascii?q?BVwWoGQI0+G1Fqir1uj3Xscw=3D=3D?= Received: from zcs-store1.inria.fr ([128.93.142.28]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 May 2023 14:10:42 +0200 Date: Mon, 15 May 2023 14:10:41 +0200 (CEST) From: Luca Cirrottola To: guix-patches@gnu.org Message-ID: <840693491.43189747.1684152641380.JavaMail.zimbra@inria.fr> Subject: Fixing lcov usage? MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_43189741_901811791.1684152641378" X-Originating-IP: [81.65.155.8] X-Mailer: Zimbra 8.8.15_GA_4522 (ZimbraWebClient - FF102 (Linux)/8.8.15_GA_4527) Thread-Index: KRi4jOCwXnjgfOpEYcVh2LB3H5SHyw== Thread-Topic: Fixing lcov usage? Received-SPF: pass client-ip=192.134.164.83; envelope-from=luca.cirrottola@inria.fr; helo=mail2-relais-roc.national.inria.fr X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 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, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) ------=_Part_43189741_901811791.1684152641378 Content-Type: multipart/alternative; boundary="=_56fca2d8-4ada-4e38-8fcf-a7818eed2c51" --=_56fca2d8-4ada-4e38-8fcf-a7818eed2c51 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Hello, I want use lcov to generate a coverage report for a C program, but I find out I always need to add "findutils" package to my shell in order for "lcov" to work. Shouldn't "findutils" be added to the propagated-inputs of "lcov", to have it available at runtime? Here is a short description of the problem which can be tested on the attached (empty) C program "main.c". 1. The shell I want to use: guix shell -C gcc-toolchain lcov 2. The commands I run in the shell: gcc -fprofile-arcs -ftest-coverage -g -O0 -c main.c gcc -fprofile-arcs -ftest-coverage -g -O0 -lgcov main.o -o my_program ./my_program lcov --directory . --capture --output-file coverage.info 3. The problem I get: lcov is unable to find the .gcda files for its coverage report (message ".geninfo-real: WARNING: no .gcda files found in . - skipping!"). Everything works fine with "guix shell -C gcc-toolchain lcov findutils", or if I add "findutils" to the propagated-inputs of "lcov" as in the proposed patch (for the commit 13e252af79ffb85bc68d8104fdf700269b903875 on master), which I have tested by defining and building the modified package in a local copy of the gnu/packages/code.scm module. Of coarse I am open to recognize my errors if I have missed something in the package usage :-) or if I have misunderstood the usage of propagated-inputs (but it didn't work with findutils as "normal" input)... or if there are better solutions. Thank you in advance, Luca -- Luca CIRROTTOLA Research software engineer @ INRIA - research center of the university of Bordeaux and Pau Personal webpage: [ https://lcirrottola.github.io/ | https://lcirrottola.github.io/ ] Tel: +33 5 2 4 57 41 21 200 Avenue de la Vieille Tour 33405 Talence cedex France --=_56fca2d8-4ada-4e38-8fcf-a7818eed2c51 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
Hello,
I want use lcov to generate a cov= erage report for a C program, but I find out I always need to add "findutil= s" package to my shell in order for "lcov" to work. Shouldn't "findutils" b= e added to the propagated-inputs of "lcov", to have it available at runtime= ?

Here is a short description of the problem which can be tested on = the attached (empty) C program "main.c".

1. The shell I want to use:=

guix shell -C gcc-toolchain lcov

2. The commands I run in th= e shell:

gcc -fprofile-arcs -ftest-coverage -g -O0 -c main.c
gcc = -fprofile-arcs -ftest-coverage -g -O0 -lgcov main.o -o my_program
./my_p= rogram
lcov --directory . --capture --output-file coverage.info
3. The problem I get: lcov is unable to find the .gcda files for its cover= age report (message ".geninfo-real: WARNING: no .gcda files found in . - sk= ipping!").

Everything works fine with "guix shell -C gcc-toolchain l= cov findutils", or if I add "findutils" to the propagated-inputs of "lcov" = as in the proposed patch (for the commit 13e252af79ffb85bc68d8104fdf700269b= 903875 on master), which I have tested by defining and building the modifie= d package in a local copy of the gnu/packages/code.scm module.

Of co= arse I am open to recognize my errors if I have missed something in the pac= kage usage :-) or if I have misunderstood the usage of propagated-inputs (b= ut it didn't work with findutils as "normal" input)... or if there are bett= er solutions.

Thank you in advance,
Luca

=
--
Luca CIRROTTOLA
Resea= rch software engineer @INRIA - research center of the university of= Bordeaux and Pau
Personal webpage: https://lcirrottola.github.io/
Tel: +33 5 24 57 41 21
200 Avenue de la Vieille Tou= r
33405 Talence cedex
= France
--=_56fca2d8-4ada-4e38-8fcf-a7818eed2c51-- ------=_Part_43189741_901811791.1684152641378 Content-Type: text/x-c++src; name=main.c Content-Disposition: attachment; filename=main.c Content-Transfer-Encoding: base64 aW50IG1haW4oIGludCBhcmdjLCBjaGFyKiBhcmd2W10gKSB7CiAgcmV0dXJuIDA7Cn0K ------=_Part_43189741_901811791.1684152641378 Content-Type: text/x-patch; name=log_patch_13e252af79_lcov Content-Disposition: attachment; filename=log_patch_13e252af79_lcov Content-Transfer-Encoding: base64 ZGlmZiAtLWdpdCBhL2dudS9wYWNrYWdlcy9jb2RlLnNjbSBiL2dudS9wYWNrYWdlcy9jb2RlLnNj bQppbmRleCBkNTc5NTRjNDdjLi4yYjFkMjIxMTIyIDEwMDY0NAotLS0gYS9nbnUvcGFja2FnZXMv Y29kZS5zY20KKysrIGIvZ251L3BhY2thZ2VzL2NvZGUuc2NtCkBAIC01ODAsNiArNTgwLDcgQEAg c3RhY2sgdHJhY2VzLiIpCiAgICAgICAgICAgICAgICAgIGAoIlBFUkw1TElCIiAiOiIgcHJlZml4 ICgsKGdldGVudiAiUEVSTDVMSUIiKSkpKSkKICAgICAgICAgICAgICAjdCkpKSkpCiAgICAgKGlu cHV0cyAobGlzdCBwZXJsIHBlcmwtaW8tY29tcHJlc3MgcGVybC1qc29uKSkKKyAgICAocHJvcGFn YXRlZC1pbnB1dHMgKGxpc3QgZmluZHV0aWxzKSkKICAgICAoaG9tZS1wYWdlICJodHRwczovL2x0 cC5zb3VyY2Vmb3JnZS5uZXQvY292ZXJhZ2UvbGNvdi5waHAiKQogICAgIChzeW5vcHNpcyAiQ29k ZSBjb3ZlcmFnZSB0b29sIHRoYXQgZW5oYW5jZXMgR05VIGdjb3YiKQogICAgIChkZXNjcmlwdGlv biAiTENPViBpcyBhbiBleHRlbnNpb24gb2YgQGNvbW1hbmR7Z2Nvdn0sIGEgdG9vbCBwYXJ0IG9m IHRoZQo= ------=_Part_43189741_901811791.1684152641378-- From debbugs-submit-bounces@debbugs.gnu.org Mon May 22 11:29:29 2023 Received: (at 63517-done) by debbugs.gnu.org; 22 May 2023 15:29:29 +0000 Received: from localhost ([127.0.0.1]:35922 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q17TV-0004nr-4V for submit@debbugs.gnu.org; Mon, 22 May 2023 11:29:29 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:52879) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q17TS-0004nd-C7 for 63517-done@debbugs.gnu.org; Mon, 22 May 2023 11:29:27 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:cc:subject:references:date:in-reply-to: message-id:mime-version:content-transfer-encoding; bh=InUxs8UbcOWEj4KyhTg/kvCpwsWkip5fxxNeJfZSlxY=; b=M0vqfZ42rTOVNEmgfhXQth17G8Lsnmnsr83UmTLTufBp1VsY+WWju8lm e3rkFqxmYgHJ+Czp6fY0H5cBs8C711uZP1nXkQSOABrmHYMDR/tv3Jk2K 9wmJrxx1u+CWo6QKZ9SVdNHxZmvYxMUUUrruZE/BlhwfgN49srmdR0d78 Y=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=ludovic.courtes@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="6.00,184,1681164000"; d="scan'208";a="109080685" Received: from unknown (HELO ribbon) ([193.50.110.247]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 22 May 2023 17:29:21 +0200 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Luca Cirrottola Subject: Re: bug#63517: Fixing lcov usage? References: <840693491.43189747.1684152641380.JavaMail.zimbra@inria.fr> Date: Mon, 22 May 2023 17:29:19 +0200 In-Reply-To: <840693491.43189747.1684152641380.JavaMail.zimbra@inria.fr> (Luca Cirrottola's message of "Mon, 15 May 2023 14:10:41 +0200 (CEST)") Message-ID: <874jo4wfjk.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 63517-done Cc: 63517-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Hi Luca, Luca Cirrottola skribis: > I want use lcov to generate a coverage report for a C program, but I find= out I always need to add "findutils" package to my shell in order for "lco= v" to work. Shouldn't "findutils" be added to the propagated-inputs of "lco= v", to have it available at runtime?=20 I took a slightly less intrusive approach: https://git.savannah.gnu.org/cgit/guix.git/commit/?id=3D88a2871d8f82a7280= 486c2a30cc9b510ee8b2b5c Thanks for the bug report & proposal! Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Wed May 24 08:36:19 2023 Received: (at 63517-done) by debbugs.gnu.org; 24 May 2023 12:36:19 +0000 Received: from localhost ([127.0.0.1]:42677 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q1nj1-0003Lt-Ac for submit@debbugs.gnu.org; Wed, 24 May 2023 08:36:19 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:28269) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q1niz-0003Ld-8b for 63517-done@debbugs.gnu.org; Wed, 24 May 2023 08:36:18 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:cc:message-id:in-reply-to:references: subject:mime-version:content-transfer-encoding; bh=FpiFn7kZTau+uRpYb19+JMboTd6i7X+6lUAr4tWkwd8=; b=upU2NLuFp3Ek1se1D6WcVHlazIiFJFW8OuSqtm5uOXwQ+AuAKiFM8s/e 9cgjT/a50cUayi3Ji1MpDT4B/GqiWqPvIXk3g/6WJjzZetewAqbsWOcK9 PVuSQcIuMKDSMa1qBQZsBIcCZHXIDLcJL29V1rpMcDtPlFAglWuwLLHHh 4=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=luca.cirrottola@inria.fr; spf=None smtp.helo=postmaster@zcs-store1.inria.fr Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of luca.cirrottola@inria.fr designates 128.93.142.28 as permitted sender) identity=mailfrom; client-ip=128.93.142.28; receiver=mail2-relais-roc.national.inria.fr; envelope-from="luca.cirrottola@inria.fr"; x-sender="luca.cirrottola@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@zcs-store1.inria.fr) identity=helo; client-ip=128.93.142.28; receiver=mail2-relais-roc.national.inria.fr; envelope-from="luca.cirrottola@inria.fr"; x-sender="postmaster@zcs-store1.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.00,189,1681164000"; d="scan'208";a="109450265" X-MGA-submission: =?us-ascii?q?MDFPdTb/TAAOQoF7ptTZ5vqIJU7Vdhg7NSfCB3?= =?us-ascii?q?/GogW8qUH8qf9oxjRJXZsgO0eJr9tIAXEWx9xDtyjBRIsV5+U7khT9hb?= =?us-ascii?q?mAQDnLcP0uoay+O4Unw36iCquRM6g3P0nevQkxSlh3xocGKXSPK1IISg?= =?us-ascii?q?UIkLnU5nbRXtPHSCH3Cu5H1Q=3D=3D?= Received: from zcs-store1.inria.fr ([128.93.142.28]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 May 2023 14:36:10 +0200 Date: Wed, 24 May 2023 14:36:09 +0200 (CEST) From: Luca Cirrottola To: Ludovic =?iso-8859-1?Q?Court=E8s?= Message-ID: <598756657.4941155.1684931769842.JavaMail.zimbra@inria.fr> In-Reply-To: <874jo4wfjk.fsf@gnu.org> References: <840693491.43189747.1684152641380.JavaMail.zimbra@inria.fr> <874jo4wfjk.fsf@gnu.org> Subject: Re: bug#63517: Fixing lcov usage? MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Originating-IP: [81.65.155.8] X-Mailer: Zimbra 8.8.15_GA_4522 (ZimbraWebClient - FF113 (Linux)/8.8.15_GA_4527) Thread-Topic: bug#63517: Fixing lcov usage? Thread-Index: gLer1jtoVnWCdftvQJ/SbMyVOP0z0w== X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 63517-done Cc: 63517-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hello Ludo', I could have bet there was a more elegant solution :-) It works like a charm, thanks! Luca ----- Mail original ----- > De: "Ludovic Court=C3=A8s" > =C3=80: "Luca Cirrottola" > Cc: 63517-done@debbugs.gnu.org > Envoy=C3=A9: Lundi 22 Mai 2023 17:29:19 > Objet: Re: bug#63517: Fixing lcov usage? > Hi Luca, >=20 > Luca Cirrottola skribis: >=20 >> I want use lcov to generate a coverage report for a C program, but I fin= d out I >> always need to add "findutils" package to my shell in order for "lcov" t= o work. >> Shouldn't "findutils" be added to the propagated-inputs of "lcov", to ha= ve it >> available at runtime? >=20 > I took a slightly less intrusive approach: >=20 > https://git.savannah.gnu.org/cgit/guix.git/commit/?id=3D88a2871d8f82a728= 0486c2a30cc9b510ee8b2b5c >=20 > Thanks for the bug report & proposal! >=20 > Ludo=E2=80=99. --=20 Luca CIRROTTOLA=20 Research software engineer @ INRIA - research center of the university of B= ordeaux and Pau=20 Personal webpage: [ https://lcirrottola.github.io/ | https://lcirrottola.gi= thub.io/ ]=20 Tel: +33 5 2 4 57 41 21=20 200 Avenue de la Vieille Tour=20 33405 Talence cedex=20 France From unknown Fri Sep 05 15:34:47 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 22 Jun 2023 11:24:07 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator