[Bug c/22278] gcc -O2 discards cast to volatile

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2005-07-03 02:54 -------
Subject: Re:  gcc -O2 discards cast to volatile

"gcc2eran at tromer dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| >        [#5] If an attempt is made to modify an object defined  with
| >        a  const-qualified  type  through use of an lvalue with non-
| >        const-qualified type, the  behavior  is  undefined.   If  an
| >        attempt  is  made  to  refer  to  an  object  defined with a
| >        volatile-qualified type through use of an lvalue  with  non-
| >        volatile-qualified type, the behavior is undefined.113)
| 
| OK. Then the volatile-stripping direction can be handled arbitrarily.

I do not understand that comment.

-- Gaby


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22278