From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Daniel Colascione Newsgroups: gmane.emacs.devel Subject: INT_ADD_OVERFLOW broken? Date: Sat, 21 Sep 2013 17:39:26 -0700 Message-ID: <523E3C3E.4080003@dancol.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="NaRjad2gO8pqaoAmD8cp2UTnDkGpwCRig" X-Trace: ger.gmane.org 1379810457 20494 80.91.229.3 (22 Sep 2013 00:40:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 22 Sep 2013 00:40:57 +0000 (UTC) To: Emacs development discussions Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Sep 22 02:41:01 2013 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VNXjQ-0000CQ-8p for ged-emacs-devel@m.gmane.org; Sun, 22 Sep 2013 02:41:00 +0200 Original-Received: from localhost ([::1]:33519 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VNXjP-0002wd-EN for ged-emacs-devel@m.gmane.org; Sat, 21 Sep 2013 20:40:59 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:35361) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VNXjF-0002wP-9E for emacs-devel@gnu.org; Sat, 21 Sep 2013 20:40:57 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VNXj6-0005Fl-Sv for emacs-devel@gnu.org; Sat, 21 Sep 2013 20:40:49 -0400 Original-Received: from dancol.org ([2600:3c01::f03c:91ff:fedf:adf3]:48821) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VNXj6-0005Eo-MW for emacs-devel@gnu.org; Sat, 21 Sep 2013 20:40:40 -0400 Original-Received: from c-76-22-66-162.hsd1.wa.comcast.net ([76.22.66.162] helo=[192.168.1.52]) by dancol.org with esmtpsa (TLS1.0:DHE_RSA_CAMELLIA_256_CBC_SHA1:256) (Exim 4.80) (envelope-from ) id 1VNXiy-0004kW-3n for emacs-devel@gnu.org; Sat, 21 Sep 2013 17:40:32 -0700 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:17.0) Gecko/20130801 Thunderbird/17.0.8 X-Enigmail-Version: 1.5.2 X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2600:3c01::f03c:91ff:fedf:adf3 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:163543 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --NaRjad2gO8pqaoAmD8cp2UTnDkGpwCRig Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable When trying to compile this code: if (INT_ADD_OVERFLOW ((ptrdiff_t) (bool_header_size - header_size), total_payload_bytes)) memory_full (SIZE_MAX); gcc produces this warning: alloc.c:2051: warning: assuming signed overflow does not occur when assuming that (X + c) >=3D X is always true [-Wstrict-overflow] Is INT_ADD_OVERFLOW actually safe? --NaRjad2gO8pqaoAmD8cp2UTnDkGpwCRig Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.14 (Darwin) iQIcBAEBAgAGBQJSPjxBAAoJEMAaIROpHW7I2UEQAIEVIxsHlYAlI5skIbykfh+J ak2/Vwuyen0jIvu5q/M8h15lsRIiCJeDsqwcMdcUXXNyc0Umh5/0RVxSBW9aZwsn aRbHVvP9ATLyd4SMpWLvV2uzpNAHvzqnqqzGrE+O5PqN52eU3FcC9cMKCPZIsjwy V9L3ITmmQISXf1r9QUhip/HKWvlmHNbmRG4AcWrJCFl7t8KVJYjT09BagSx7eZ20 rTuGdyYvKUNXfJZjJsqbEvZQUJo83Iutbu5mqS9/487dSybxQszbF0KssopabO/+ AA0cOIWxwJSkM5o4i10R2I63HtFzcTmJsiiVEBLDprI4b/y+lgTNwM8iny+wsZB2 GeKJRp1x2Tngr8r+VbmQerjqCxoDXV8mWMivFS1tQlBYHka83NnKvp9VCd+1F0WJ mu5JCxVRr/LWoQ33GNTSiEmO9h2VbvrXKorHVK0Y64gfVg02EFSraP7OjsBMkQT3 76/jS4DKk8UU5zPnawNZ32PJJLpiEDYX4IxWPlA1SKOmDVvt0xYYKSiwud4IsSi8 ZuO3Jr4+t+d4Zj4FMQU+m0aL6jZGmXMWupnxoCHKgO8Bia8rP/Qoa5XXr/eDjXrr 5DLAPiOVtMwKm8GxqmDLEzRx98BtSmdoWGZHeKS3pEvC3H8VEEB0rAkqiBaZpNUX ThzZHUtXSUpGHl7KMXlQ =p8vd -----END PGP SIGNATURE----- --NaRjad2gO8pqaoAmD8cp2UTnDkGpwCRig--