From unknown Wed Aug 20 01:17:44 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#59024 <59024@debbugs.gnu.org> To: bug#59024 <59024@debbugs.gnu.org> Subject: Status: [PATCH] gnu: Add safeint. Reply-To: bug#59024 <59024@debbugs.gnu.org> Date: Wed, 20 Aug 2025 08:17:44 +0000 retitle 59024 [PATCH] gnu: Add safeint. reassign 59024 guix-patches submitter 59024 Antero Mejr severity 59024 normal tag 59024 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Nov 04 16:25:36 2022 Received: (at submit) by debbugs.gnu.org; 4 Nov 2022 20:25:36 +0000 Received: from localhost ([127.0.0.1]:54930 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1or3Fv-0003Rd-Uv for submit@debbugs.gnu.org; Fri, 04 Nov 2022 16:25:36 -0400 Received: from lists.gnu.org ([209.51.188.17]:39582) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1or3Ft-0003RV-U6 for submit@debbugs.gnu.org; Fri, 04 Nov 2022 16:25:34 -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 1or3Ft-0006zM-CE for guix-patches@gnu.org; Fri, 04 Nov 2022 16:25:33 -0400 Received: from mout-p-201.mailbox.org ([80.241.56.171]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1or3Fp-0001Rf-4o for guix-patches@gnu.org; Fri, 04 Nov 2022 16:25:32 -0400 Received: from smtp2.mailbox.org (smtp2.mailbox.org [IPv6:2001:67c:2050:b231:465::2]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-201.mailbox.org (Postfix) with ESMTPS id 4N3sZB6Zx0z9sWV for ; Fri, 4 Nov 2022 21:25:22 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1667593522; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=tAwWXwVjDhDtVygO5V7LwkiB0fwc+ro9wrWRosVGCAo=; b=JQLqRkEkKS6ksxCjTDl4YnZO7q3TZRXMTHnRh/8j4ThNtiwdGnmmPwcz5knLhegrNGV455 v3NhYahJJfOWgz9gm6G1hjngkR+ds3wwUk+DHv/SQu97sfYKvEGdTdsTR1seL0798Dmmc4 CU029KLsB9vrqiPksnWtW36FhUyp4uvVZAkfAWhTqPcrkHAvADzNZ8B8U/4c73ZACoFA+x oAYjVeDjS7vZobzkG0T5cWNkZ9XnDRLcWQH4VksosDDV/+Cf9MeiCA2F1MR7q0arLLedtv UYBIZvYG2zMI8ExE72XqP+SG2GVZq7ITzEMAu2Pa1pcg2HiP2m5b1mksOwgkXA== From: Antero Mejr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mailbox.org; s=mail20150812; t=1667593520; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=tAwWXwVjDhDtVygO5V7LwkiB0fwc+ro9wrWRosVGCAo=; b=e/DDdnmWx268qlwJ59BKlEiUOpAb8yrnWGEKGZ17ilIh+n4LXLDhr696yJHn7RJbBxferV GJr6PxCZrdwAr5yIQj8Gv2l3qtvgX7VrMroatPmpLn1fTab81su230tKke29cM4+2ap2JH DQhoHvIvomOLurSLxS26ptQt/gE5/HP7WhNmcWfaZtwivEMlQ+kYjQXDfC25hJdioHxGcO KHzT2UKz+3Kia06jYpvIbaFyig0s9Te+TDj6nHX9oi4t4R7uJVDwW5I8dNc32klszFMR+a zJx6NNz2rulvCKyyRPJ3APyR4yxshT6jUZ/fp4eOjImVtnk05iGJRDdUPYBZmA== To: guix-patches@gnu.org Subject: [PATCH] gnu: Add safeint. Date: Fri, 4 Nov 2022 20:25:12 +0000 Message-Id: <20221104202512.6140-1-antero@mailbox.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-MBO-RS-ID: 39dfabf1d5b7a569d43 X-MBO-RS-META: xigap1drjaua41iwyyjmd7zjyh7n9p6m X-Rspamd-Queue-Id: 4N3sZB6Zx0z9sWV Received-SPF: pass client-ip=80.241.56.171; envelope-from=antero@mailbox.org; helo=mout-p-201.mailbox.org X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: Antero Mejr 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 (--) * gnu/packages/cpp.scm (safeint): New variable. --- gnu/packages/cpp.scm | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/gnu/packages/cpp.scm b/gnu/packages/cpp.scm index 470f404066..4d58e01fa8 100644 --- a/gnu/packages/cpp.scm +++ b/gnu/packages/cpp.scm @@ -2166,3 +2166,42 @@ (define-public optionparser command line options. It supports the short and long option formats of getopt(), getopt_long() and getopt_long_only().") (license license:expat))) + +(define-public safeint + (package + (name "safeint") + (version "3.0.27") + (home-page "https://github.com/dcleblanc/SafeInt") + (source (origin + (method git-fetch) + (uri (git-reference + (url home-page) + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "01d2dpdhyw3lghmamknb6g39w2gg0sv53pgxlrs2la8h694z6x7s")))) + (build-system cmake-build-system) + (arguments + (list #:phases #~(modify-phases %standard-phases + (replace 'install + (lambda _ + (let ((include-dir (string-append #$output + "/include"))) + (with-directory-excursion "../source" + (install-file "SafeInt.hpp" include-dir) + (install-file "safe_math.h" include-dir) + (install-file "safe_math_impl.h" include-dir))))) + (add-after 'install 'install-doc + (lambda _ + (let ((doc-dir (string-append #$output + "/share/doc/safeint"))) + (with-directory-excursion "../source" + (install-file "helpfile.md" doc-dir)))))))) + (synopsis "C and C++ library for managing integer overflows") + (description + "SafeInt is a class library for C++ that manages integer overflows. It +also includes a C library that checks casting, multiplication, division, +addition and subtraction for all combinations of signed and unsigned 32-bit and +64-bit integers.") + (license license:expat))) -- 2.38.0 From debbugs-submit-bounces@debbugs.gnu.org Tue Nov 15 05:50:14 2022 Received: (at 59024-done) by debbugs.gnu.org; 15 Nov 2022 10:50:14 +0000 Received: from localhost ([127.0.0.1]:53137 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1outWA-00068l-HZ for submit@debbugs.gnu.org; Tue, 15 Nov 2022 05:50:14 -0500 Received: from eggs.gnu.org ([209.51.188.92]:33540) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1outW8-00068X-GM for 59024-done@debbugs.gnu.org; Tue, 15 Nov 2022 05:50:13 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1outW2-0006Hs-Vr; Tue, 15 Nov 2022 05:50:07 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=yYRq21PUcWAN0zPyNInJ+o7vX8z5f8PzUeesdFnozdI=; b=kb87PpEX1rSTON2nrOjB V36ok1Js+D5mlws39Ra/dp3wa8VoELQXDQTHBdCcZIT5WnJTkdoNXutVt6qKw3sfJ+agZ7bLYtzta MCHviKvd4Q7r0phmWv4RUF3eYXdya08XWpQL72bSShZ7NywjTzSapW/zr0dLyrZ1KVqlKLoj6mLSM zPlPkLaN9K/SBZT+Nd3A8UlHLxF3aUhnH2AxJh0dlVRVSH50shpVYWZx//4oLqUNmJql33XOYNGv0 w/rHbbQFFxVhVEz6IKmMegtTDL5mRakjlPC82ytwpiSynMopGpfmM7ezt9Kq4EzklaNBiW/Sg6ir7 /eUdNIz8lc/UeA==; Received: from [2001:660:6102:320:e120:2c8f:8909:cdfe] (helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1outW1-0001f0-RV; Tue, 15 Nov 2022 05:50:06 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Antero Mejr Subject: Re: bug#59024: [PATCH] gnu: Add safeint. References: <20221104202512.6140-1-antero@mailbox.org> Date: Tue, 15 Nov 2022 11:50:04 +0100 In-Reply-To: <20221104202512.6140-1-antero@mailbox.org> (Antero Mejr's message of "Fri, 4 Nov 2022 20:25:12 +0000") Message-ID: <87o7t8mqzn.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: -2.3 (--) X-Debbugs-Envelope-To: 59024-done Cc: 59024-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 (---) Hi, Antero Mejr skribis: > * gnu/packages/cpp.scm (safeint): New variable. Applied, thanks! Ludo=E2=80=99. From unknown Wed Aug 20 01:17:44 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 13 Dec 2022 12:24:05 +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