Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <kst-u@mib.org>
Newsgroups: comp.lang.c
Subject: Re: C wish list
Date: Sat, 23 Mar 2019 16:24:01 -0700
Organization: None to speak of
Lines: 20
Message-ID: <lnzhplcgz2.fsf@kst-u.example.com>
References: <de7f6c95-d2a8-4f26-9416-f72305578c3b@googlegroups.com> <q70vsp$avo$1@dont-email.me> <i_TkE.658776$OGY.405413@fx08.am4> <q72dfr$1c0$1@dont-email.me> <GP3lE.407767$%B.175266@fx03.am4> <q72npb$qtv$1@dont-email.me> <Yt6lE.304038$7F3.192949@fx30.am4> <q72tse$fn$1@dont-email.me> <2J7lE.185089$1p7.119303@fx05.am4> <lnbm22g2ox.fsf@kst-u.example.com> <tzalE.538943$uD1.435519@fx33.am4> <ln36neg124.fsf@kst-u.example.com> <2PalE.135956$Ef4.37063@fx38.am4> <lny356eikx.fsf@kst-u.example.com> <4BqlE.730757$RBa.544247@fx15.am4> <871s2xtzre.fsf@bsb.me.uk> <8SrlE.413614$%B.97090@fx03.am4> <87va09sjff.fsf@bsb.me.uk> <xQulE.948206$OGY.812464@fx08.am4> <878sx5rz8i.fsf@bsb.me.uk> <YSylE.361686$U64.192017@fx20.am4>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: reader02.eternal-september.org; posting-host="77bd598ae72395ba0a7bd923a7887244"; logging-data="17451"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19BnUX2BUfrMeowJZaAf5FN"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:3T8/81bpVplJHCy3bCxjTyrQWs4= sha1:dG6Dato4bz3BacUblj7OZqh418U=
Xref: csiph.com comp.lang.c:142323

Bart <bc@freeuk.com> writes:
[...]
> But what is the programmer to make of it? You want the behaviour of 
> 'x>>8' to depend only on the current value of 'x', not be dependent on 
> what other operations have been done since it was set.

The behavior of x>>8 in C depends only on the current value of x.  The
result is implementation-defined if x is negative, strictly defined if x
is non-negative.

That assumes the behavior of the program as a whole is not undefined.
If you have:
    x/0;
    printf("%d\n", x>>8);
then the behavior of the program is undefined.

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Will write code for food.
void Void(void) { Void(); } /* The recursive call of the void */