c-semantics AT lists.cs.illinois.edu

Subject: C Semantics in K Framework

List archive

Re: [C-Semantics] C question about const

From: Derek M Jones <derek AT knosof.co.uk>
To: Chucky Ellison <cme AT freefour.com>, "c-semantics AT cs.illinois.edu" <c-semantics AT cs.illinois.edu>, chris hathhorn <hathhorn AT gmail.com>, Dwight Guth <dguth2 AT illinois.edu>, Pascal Cuoq <pascal.cuoq AT gmail.com>
Subject: Re: [C-Semantics] C question about const
Date: Thu, 19 Feb 2015 14:47:39 +0000
List-archive: <http://lists.cs.uiuc.edu/pipermail/c-semantics/>
List-id: C Semantics in K Framework <c-semantics.cs.illinois.edu>
Organization: Knowledge Software, Ltd

Chucky,

Good to hear from you. Hope you are having fun.

int * p3 = p2; // I think this is undefined, since the case is not listed
in 6.3.2.3 or anywhere else I can tell

Its a constraint violation, 6.7.8p11 -> 6.5.16.1p1

--
Derek M. Jones Software analysis
tel: +44 (0)1252 520667 blog:shape-of-code.coding-guidelines.com

Re: [C-Semantics] C question about const, Derek M Jones, 02/19/2015
- Re: [C-Semantics] C question about const, Chucky Ellison, 02/20/2015
  - Message not available
    - Re: [C-Semantics] C question about const, Chucky Ellison, 02/20/2015
  - Re: [C-Semantics] C question about const, Derek M Jones, 02/20/2015
    - Re: [C-Semantics] C question about const, Chucky Ellison, 02/20/2015