c-semantics AT lists.cs.illinois.edu

Subject: C Semantics in K Framework

List archive

Re: [C-Semantics] question about 'register' storage-class specifier (and reads of uninitialized values)

From: CUOQ Pascal <Pascal.CUOQ AT cea.fr>
To: "c-semantics AT cs.illinois.edu" <c-semantics AT cs.illinois.edu>
Subject: Re: [C-Semantics] question about 'register' storage-class specifier (and reads of uninitialized values)
Date: Fri, 6 Jan 2012 16:56:05 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/c-semantics>
List-id: C Semantics in K Framework <c-semantics.cs.illinois.edu>

> And of course,
> if (0) {
> 5 / 0;
> }
> which I assume we would all agree is defined, but Derek tells me there
> has been lengthy discussion about even that.

This link is somewhat relevant to the static/dynamic definedness question,
and even uses a similar example.

http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_109.html

Pascal

[C-Semantics] question about 'register' storage-class specifier (and reads of uninitialized values), Chucky Ellison, 01/04/2012
- Re: [C-Semantics] question about 'register' storage-class specifier (and reads of uninitialized values), CUOQ Pascal, 01/04/2012
  - Re: [C-Semantics] question about 'register' storage-class specifier (and reads of uninitialized values), Chucky Ellison, 01/04/2012
    - Re: [C-Semantics] question about 'register' storage-class specifier (and reads of uninitialized values), Chucky Ellison, 01/04/2012
- Re: [C-Semantics] question about 'register' storage-class specifier (and reads of uninitialized values), Derek M Jones, 01/04/2012
  - Re: [C-Semantics] question about 'register' storage-class specifier (and reads of uninitialized values), CUOQ Pascal, 01/06/2012