Path: csiph.com!news.redatomik.org!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!feeder.usenetexpress.com!feeder2.eu1.usenetexpress.com!ecngs!feeder2.ecngs.de!border1.nntp.ams1.giganews.com!nntp.giganews.com!buffer1.nntp.ams1.giganews.com!buffer2.nntp.ams1.giganews.com!nntp.brightview.co.uk!news.brightview.co.uk.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 22 Apr 2017 05:38:36 -0500
From: Gareth Owen <gwowen@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: gcc failure (optimised/non-optimised)
References: <odf2pf$dd0$1@dont-email.me> <58fb2265.5246218@news.xs4all.nl> <odf99b$406$1@dont-email.me>
Date: Sat, 22 Apr 2017 11:38:36 +0100
Message-ID: <87o9voengz.fsf@gmail.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)
Cancel-Lock: sha1:Ps+t0RD74g4Zot07QYVAIxKPxQg=
MIME-Version: 1.0
Content-Type: text/plain
Lines: 8
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-AyXdv9EUwzEFwbRL8T0wJzN1+L3PmMQFPCZJhRGy4U41umf8t+bxY+QRPWm2bcPvC2eG3RjTsFiC9jM!7gEfryJwMSDx1UtHuuVK81Tvi6HOlAP3WQiTxxNwJRxopDaM63YgwS2c/MzdFWL/yqvmYpc=
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 1362
Xref: csiph.com comp.lang.c:108335

James Harris <james.harris.1@gmail.com> writes:

> IMO gcc is still at fault (and I use the term for a preference, not a
> technical failure) for not reporting, by default, that the optimiser
> was making an assumption.

It's not an optimiser assumption, its a contract the programmer
willingly enters into when they chose to write (correct) C.