This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]