This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: -fno-tree-cselim not working?
On Fri, 2007-10-26 at 08:27 -0700, Ian Lance Taylor wrote:
> skaller <skaller@users.sourceforge.net> writes:
>
> > I understand that's the common meaning .. but the semantics
> > aren't specified for ISO C/C++.
>
> Sure they are. In the C99 standard look at the definition of sequence
> points (5.1.2.3) and the definition of volatile (6.7.3).
6.7.3 volatile bullet is non-normative. As pointed
out in previous post: volatile accesses are observable.
What 6.7.3 says is not a definition, but something which can
be deduced from their status as observables.
The key point which makes this waffle is the bit that says
'what constitutes an access is implementation defined'.
--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net