Path: csiph.com!weretis.net!feeder4.news.weretis.net!border2.nntp.ams1.giganews.com!nntp.giganews.com!buffer2.nntp.ams1.giganews.com!nntp.brightview.co.uk!news.brightview.co.uk.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 14 Nov 2016 01:10:28 -0600
From: Gareth Owen <gwowen@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: Compiler design in C?
References: <nvsmpq$noi$2@dont-email.me> <o01ph4$rco$1@dont-email.me> <ce04217b-bcf0-4b29-8a58-9b6ffabf9688@googlegroups.com> <o02hqq$ndk$1@dont-email.me> <d5d5655d-ff29-4273-8791-1d09c6fbf385@googlegroups.com> <o02q7a$oca$1@dont-email.me> <23d0f58e-a17c-4ef7-8db6-9cc5b7bcaf04@googlegroups.com> <o040re$d5a$1@dont-email.me> <9e27a17d-aaab-48e1-9139-95114dea0da6@googlegroups.com> <o05b51$81t$1@dont-email.me> <3121b7be-aca1-44b0-9dc9-6b23611bbfba@googlegroups.com> <o074os$61m$1@dont-email.me> <300e8fda-56cf-476f-9bd7-257791357090@googlegroups.com> <8760nsr02s.fsf@gmail.com> <0dc796fe-911c-4dc0-952a-7b9e3ed54eae@googlegroups.com> <87mvh4kytv.fsf@bsb.me.uk> <7f59dd53-a2fd-4e61-85b9-308790eeab7d@googlegroups.com> <877f87llzn.fsf@bsb.me.uk> <7309d801-64fc-4d2b-961e-1e8b50f11389@googlegroups.com> <878tsn2e8z.fsf@gmail.com> <65a37d5b-1c93-41ad-95f4-321c05397d43@googlegroups.com>
Date: Mon, 14 Nov 2016 07:10:28 +0000
Message-ID: <87vavqh6zf.fsf@gmail.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)
Cancel-Lock: sha1:2XW8eqQsF/zZwei1DcW7Kg3NwrQ=
MIME-Version: 1.0
Content-Type: text/plain
Lines: 10
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-CMNe1I2bLGzeuEBE3BS+vYpv9IvIi/ha8+BrqiSuMMt2htXBAx8/xpbofNqvj1mIBbNV1vmyeuO7GdG!2LdkCuUrpg+wMtVbVTfQCUJ2TlDQ07e1exXF4d3WpZgIfe+JRgaeiT2fQqPOsgmmOVtL
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: 2259
Xref: csiph.com comp.lang.c:96528

supercat@casperkitty.com writes:

> On Sunday, November 13, 2016 at 4:42:44 PM UTC-6, gwowen wrote:
> Since neither x nor y has its address taken, a compiler could easily
> recognize that there is no possible means by which x can hold anything other
> than 3, or y can hold anything other than 6, when the printf is executed.

This entirely at odds with your previous description of how variable
reads / writes should map to loads and stores.