Path: csiph.com!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <kst-u@mib.org>
Newsgroups: comp.lang.c
Subject: Re: gcc failure (optimised/non-optimised)
Date: Mon, 01 May 2017 08:41:06 -0700
Organization: None to speak of
Lines: 18
Message-ID: <lnfugoinzh.fsf@kst-u.example.com>
References: <odf2pf$dd0$1@dont-email.me> <58fb2265.5246218@news.xs4all.nl> <EEFKA.484957$fL.133530@fx24.am4> <odk4og$jtv$1@dont-email.me> <4QjLA.892339$fZ.804703@fx41.am4> <odkn2a$bj1$1@dont-email.me> <Y5oLA.897308$fZ.149652@fx41.am4> <slrnog31m6.1jqn.grahn+nntp@frailea.sa.invalid> <5906f901.6797234@news.xs4all.nl>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: mx02.eternal-september.org; posting-host="40ab068b728f196ddeb1bab8be39060a"; logging-data="7455"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Mb9jd5/Ok6ECSD5TUlYbl"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:qryHAz7phBiwmp150JmOm7Jjsk4= sha1:p9D+M7xIGJYnyeYc/VGBJkxL1MQ=
Xref: csiph.com comp.lang.c:108883

raltbos@xs4all.nl (Richard Bos) writes:
[...]
> (Note also that the reason for the difference in treatment of signed and
> unsigned integers is obvious: there is no equivalent for unsigned
> representations of the distinction between 2'C, 1'C and S/M. The only
> different kind of unsigned representation you _can_ reasonably have is
> saturation; and that is unnatural and massively expensive to every kind
> of machine representation, including even mechanical odometers.)

Saturation is not a representation.  Representation is about what bits
represent what values.  Saturation vs. wraparound is about the result of
operations.

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Working, but not speaking, for JetHead Development, Inc.
"We must do something.  This is something.  Therefore, we must do this."
    -- Antony Jay and Jonathan Lynn, "Yes Minister"