220 37103 <2140195.afrQ3jm2S5@tjmaciei-mobl1> article
Path: news.gmane.org!.POSTED!not-for-mail
From: Thiago Macieira <thiago@macieira.org>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Re: More conservative version of P0907 "Signed
 Integers are Two's Complement"
Date: Mon, 26 Feb 2018 17:33:57 -0800
Lines: 19
Approved: news@gmane.org
Message-ID: <2140195.afrQ3jm2S5@tjmaciei-mobl1>
References: <CADvuK0LuUyyHCDhYZ+Ln2iNuj9WH1bfYrfNoRgD06C5wdqW35w@mail.gmail.com> <5fd8159b-f69a-9009-a736-f1ab6e7af7d4@gmail.com> <CADvuK0LJvgZRNz-qrxErwyoc_nT4cDh+gfYh4LB3iH_h7WenTg@mail.gmail.com>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: blaine.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
X-Trace: blaine.gmane.org 1519695120 11904 195.159.176.226 (27 Feb 2018 01:32:00 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Tue, 27 Feb 2018 01:32:00 +0000 (UTC)
To: std-proposals@isocpp.org
Original-X-From: std-proposals+bncBCB4TK757YBRBB7L2LKAKGQEPFQYVHA@isocpp.org Tue Feb 27 02:31:56 2018
Return-path: <std-proposals+bncBCB4TK757YBRBB7L2LKAKGQEPFQYVHA@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-qt0-f200.google.com ([209.85.216.200])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <std-proposals+bncBCB4TK757YBRBB7L2LKAKGQEPFQYVHA@isocpp.org>)
	id 1eqU7X-0002g8-HB
	for gclcip-std-proposals@m.gmane.org; Tue, 27 Feb 2018 02:31:55 +0100
Original-Received: by mail-qt0-f200.google.com with SMTP id 61sf14186875qta.17
        for <gclcip-std-proposals@m.gmane.org>; Mon, 26 Feb 2018 17:34:02 -0800 (PST)
ARC-Seal: i=2; a=rsa-sha256; t=1519695242; cv=pass;
        d=google.com; s=arc-20160816;
        b=SqnJFpGNWkLtXmTLyzA2yVuUkyzl3bl0YkELp1uEG1zc0NQDn9FfSKpJiOS+7YQrr+
         dG1hX6MhN8CiXMVkHzlMea9cC38q6m3/sH4l56rjSra0nl5IiU0olGoZOsaluxzjVELZ
         1jbMiDT9s26Ia8/6zZzYIJB1rjHazwhsM+ny3zCPpY9/T5otFLY+ag6oeM8WHWtZ4U/4
         A0IdyshAFyycCO2JYb0dA5Y1z23d8QhqDjKmBLN/BbsdHoJ/qT9tegTfdd5wUSrU/PEK
         howcxzJlU5AVbYHIqLSgMOhLHtq8x/hIrKIzE54Fds5gt8FtunGp/U5jnp7KKq+Bt13P
         QJVQ==
ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post
         :list-id:mailing-list:precedence:reply-to:mime-version:references
         :in-reply-to:message-id:date:subject:to:from
         :arc-authentication-results:arc-message-signature:dkim-signature
         :arc-authentication-results;
        bh=0KeSDbnFJhW+eCNNow+/nYfjP95NyoqlAjgNbKvOJiE=;
        b=VdatwfiC9U2OTkfo0+S5L/BZrvkS+VYhKfFcqPvKw/UtUIVV4dfUq8F9AEyJ61eSEB
         W6xCeJPkHebnjBNmYSn5YuTVNTF3aW9h8fHcHQHlQ3p4Q1SIKGN0uyJLeOy6gBjozgFL
         VRsIU8JX9/vzzCWyM6j8QSBjPRR8NgoGZS8yUEOrCiZ/ZhDYlNTVUCeNtue2m3F6VRtU
         75icSwOfoObx2lUzJx+XCUnOLPGIllk5SNtwbZVXSuXIBqOdFmytxRCZE3Yskdckgyms
         TS/rLB8RCgfTk2JyW9vJ84skOfWhjVfLRMwHTquKNyti3dsDivrwXrD414YNclJmbt+7
         sQ0A==
ARC-Authentication-Results: i=2; mx.google.com;
       spf=pass (google.com: domain of thiago@macieira.org designates 2001:19f0:5:2221::1:3 as permitted sender) smtp.mailfrom=thiago@macieira.org
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=isocpp-org.20150623.gappssmtp.com; s=20150623;
        h=from:to:subject:date:message-id:in-reply-to:references:mime-version
         :x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe;
        bh=0KeSDbnFJhW+eCNNow+/nYfjP95NyoqlAjgNbKvOJiE=;
        b=eit+wJPBFlVbgX15U35W6dFJEtk1AFDV+N3VFX6UdjrGwTrsRHHd+2S72IZYm+L6U0
         Y9P5poZXl037Q/5S76CGeJRWgjBUp2D4JTZ44O5q4zHKyz6AK/3BSAbK0FtReJvhsYmL
         igQ5rXG05jyU9jFFjhIxyc+N0YohOm4g9yefJnDhpA6ZUEATLzi45MNERCR6gBVZwXMC
         KPQWo2YiipXUXGyeLgpuChbm3Liv3ZqWKDjuyk+HlmGak03pMyNkAJhRiSh90O4lXOuc
         07i3tjKSWHB9dI11+1X+JcnQRi6rgXZFVbo6fSpPWSfRvmkzydwP0SiHZoYSgBmlrZR9
         A0ng==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:from:to:subject:date:message-id:in-reply-to
         :references:mime-version:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-spam-checked-in-group:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe;
        bh=0KeSDbnFJhW+eCNNow+/nYfjP95NyoqlAjgNbKvOJiE=;
        b=kQoBqOHTo6Xy06Ij/MpWDDUu59DPNVr7qVhZsXEO479+bSt9oVfq5Cg59KDyTpZze2
         LonEh2ys9eQIWpRVxjsQLRpuyO00UXVXQ1mX+o8deWYgc5LrtNX7I1UeZvnVwZ/dsd8l
         BjkQvSImPJsSyp46M1zmfGO8eqoZCfl+E6tA7aMxamQM7K5FBuwf5MdJbHiC06x4rMIh
         0Q0z41qPaF9Fw+16tcGqj5HKcd4Uobjcp7no58Wvt1MObgEf3hnm8wuSR8jMhm8YDvTT
         gNYl4lE3N7OPBCAm3VEybeuQp6yeh66v8J9bIEAT5ugRDTWpczvO1UmuqSJK65tbIkcN
         HP4A==
X-Gm-Message-State: APf1xPBsHxRzDHZA42N4mEDkdaFao7ervkbZAGQ9ClGccOJQMrIVyDoM
	V/AIboRzn5Z0CWMAJXoUSXJNPA==
X-Google-Smtp-Source: AG47ELvn/3E+AivBvrBcIq5AVqUxeERiVpiepl1W1fOnPy6xMiOXVzEEt4/9Wr6xgMtrxC94RlrJLA==
X-Received: by 10.200.48.241 with SMTP id w46mr9521963qta.18.1519695241833;
        Mon, 26 Feb 2018 17:34:01 -0800 (PST)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.200.19.68 with SMTP id f4ls445qtj.2.gmail; Mon, 26 Feb 2018
 17:33:59 -0800 (PST)
X-Received: by 10.200.40.129 with SMTP id i1mr19965520qti.176.1519695239594;
        Mon, 26 Feb 2018 17:33:59 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; t=1519695239; cv=none;
        d=google.com; s=arc-20160816;
        b=m7vPnGOWD7LtOC66SQI54z0aEHCw9qY8i3vJSNN7cXCYQdTSVo8RnPi62F73KgiqzZ
         yUYk2ag2uQ+TTjrLcIx/j5xXSoVJAwOF7E7f/u1R3tgWIj9+KUn5uIK0jp6FPyUZLudh
         fTRigDDHmo7cAiL5uKKYsgGvn++3jTsJmcsIXkNATDU3yWs5ZHHJlupNXxsuLNKuawef
         54PZqmk0GsSz61GqQACSJ5B02fQXXK1gHpV8EIHZq3zXTFdNDXaDY9nqFTrc7YM9QAVK
         uSMCKBER+saxE/aHWpm40sVQhkJlM1N50tpm1BSMKJv8wlv4SGfVyF6WwEUmVCv7Q6Da
         F9CA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=content-transfer-encoding:mime-version:references:in-reply-to
         :message-id:date:subject:to:from:arc-authentication-results;
        bh=0lgBlpwJ5auO0DvIJ+dhruDNTONphHLM+FuHU59S3Yo=;
        b=TYhkceAbHMb4VLEAx3ZherzuMLc2iPUW9qGkzS1Y1Ge5rW91pZJZx6uT9UDDfIGt3x
         aDj/2/7SrIDvDRqqvvWPL7MfWpgPDS72s+X8E7i1VzIIh7d2tYbkMrYNbAWEwmzEVuSa
         rcK6opgGfJ9/4UuYRGbM8cK+2L/OFuEkyDJJ7BTU4BAlkxTMg/Tf1O6WwH4IWR/GOyX5
         dIcw6UDRc6LWvVk01JC2xCIRkUwTfBWeu/LD9TfC6QlEx5WStXQ1Y7KBmzXEbMu449Q9
         Lein66luYwI4D76FHTx3gBK81jQdm29DQ43aXC2HgDvViFzJ5jMSVp0ka8LeULJZdIUm
         jYqA==
ARC-Authentication-Results: i=1; mx.google.com;
       spf=pass (google.com: domain of thiago@macieira.org designates 2001:19f0:5:2221::1:3 as permitted sender) smtp.mailfrom=thiago@macieira.org
Original-Received: from smtp.macieira.info (smtp.macieira.info. [2001:19f0:5:2221::1:3])
        by mx.google.com with ESMTPS id y186si8905499qkd.306.2018.02.26.17.33.59
        for <std-proposals@isocpp.org>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Mon, 26 Feb 2018 17:33:59 -0800 (PST)
Received-SPF: pass (google.com: domain of thiago@macieira.org designates 2001:19f0:5:2221::1:3 as permitted sender) client-ip=2001:19f0:5:2221::1:3;
Original-Received: from tjmaciei-mobl1.localnet (unknown [134.134.139.83])
	by smtp.macieira.info (Postfix) with ESMTPSA id 8AD4993B8
	for <std-proposals@isocpp.org>; Mon, 26 Feb 2018 17:33:58 -0800 (PST)
In-Reply-To: <CADvuK0LJvgZRNz-qrxErwyoc_nT4cDh+gfYh4LB3iH_h7WenTg@mail.gmail.com>
X-Original-Sender: thiago@macieira.org
X-Original-Authentication-Results: mx.google.com;       spf=pass (google.com:
 domain of thiago@macieira.org designates 2001:19f0:5:2221::1:3 as permitted
 sender) smtp.mailfrom=thiago@macieira.org
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <std-proposals.isocpp.org>
X-Spam-Checked-In-Group: std-proposals@isocpp.org
X-Google-Group-Id: 399137483710
List-Post: <https://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <https://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <https://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:std-proposals+subscribe@isocpp.org>
List-Unsubscribe: <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>,
 <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:37103
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/37103>

On segunda-feira, 26 de fevereiro de 2018 17:28:13 PST Arthur O'Dwyer wrote:
> unfolds as you described; on GCC -9223372036854775808 is actually of type
> signed __int128, so it gets a signed-to-signed conversion.... which is
> still implementation-defined, though.)

Only if the target type cannot represent the value. In this case, it can.

-- 
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
   Software Architect - Intel Open Source Technology Center



-- 
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/2140195.afrQ3jm2S5%40tjmaciei-mobl1.

.
