From 4036495680279807861
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f78e5,f2c1f2d35538dfd4
X-Google-Attributes: gidf78e5,public
From: seurer@rchland.ibm.com (Bill Seurer)
Subject: Re: Where is aliasing described in draft standard
Date: 1997/02/26
Message-ID: <5evhdv$1csq@news.rchland.ibm.com>#1/1
X-Deja-AN: 221687179
References: <331280fa.208770203@news.scruznet.com>
X-Original-Date: 25 Feb 1997 20:18:07 GMT
Organization: IBM Rochester MN
X-Auth: PGPMoose V1.1 PGP comp.std.c++
Reply-To: "Bill Seurer" <seurer@VNET.IBM.COM>
Newsgroups: comp.std.c++
Originator: austern@isolde.mti.sgi.com


The proposed ANSI C++ standard (April 1995 working paper, section 5.0, 
paragraph 13) has this to say about aliasing: 

If the program attempts to access the stored value of an object through an lvalue of other than one of the following types the behavior is undefined: 

   1.the dynamic type of the object, 
   2.a cv-qualified version of the declared type of the object, 
   3.a type that is the signed or unsigned type corresponding to the 
     declared type of the object, 
   4.a type that is the signed or unsigned type corresponding to a 
     cv-qualified version of the declared type of the object, 
   5.an aggregate or union type that includes one of the aforementioned 
     types among its members (including, recursively, a member of a
     subaggregate or contained union), 
   6.a type that is a (possibly cv-qualified) base class type of the 
     declared type of the object, 
   7.a char or unsigned char type. 
--

- Bill Seurer     ID Tools and Compiler Development      IBM Rochester, MN
  BillSeurer@vnet.ibm.com                               BillSeurer@aol.com
  Home page:  http://members.aol.com/BillSeurer
---
[ comp.std.c++ is moderated.  To submit articles: Try just posting with your 
                newsreader.  If that fails, use mailto:std-c++@ncar.ucar.edu
  comp.std.c++ FAQ: http://reality.sgi.com/austern/std-c++/faq.html
  Moderation policy: http://reality.sgi.com/austern/std-c++/policy.html
  Comments? mailto:std-c++-request@ncar.ucar.edu 
]



