public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "gcc2eran at tromer dot org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/21568] [4.0/4.1 regression] Casts in folding *& omitted Date: Sun, 03 Jul 2005 06:50:00 -0000 [thread overview] Message-ID: <20050703065022.24870.qmail@sourceware.org> (raw) In-Reply-To: <20050514140942.21568.rguenth@gcc.gnu.org> [-- Warning: decoded text below may be mangled, UTF-8 assumed --] [-- Attachment #1: Type: text/plain, Size: 2195 bytes --] ------- Additional Comments From gcc2eran at tromer dot org 2005-07-03 06:50 ------- > Did you read what was writting in comment #1 and #4? Carefully. Similarly to Paul Schlie in comment 5, I don't agree. My reasoning follows. > Because at this point avail is known not to volatile. That is irrelevant. According to the standard, all that matters is whether *(volatile int *)&avail has a volatile-qualified type, which it does. Please bear with me as I repeat the argument from PR 22267 comment 23, quoting N1124: "[6.7.3/6] An object that has volatile-qualified type may be modified in ways unknown to the implementation or have other unknown side effects. Therefore any expression referring to such an object shall be evaluated strictly according to the rules of the abstract machine, as described in 5.1.2.3. [...]" All other references to the semantics of volatile likewise talk about "objects", so let's look up their definition: "[3.15/1] object: region of data storage in the execution environment, the contents of which can represent values" "[3.15/2] NOTE When referenced, an object may be interpreted as having a particular type; see 6.3.2.1." And here comes the punchline: what is the type of an object? "[6.3.2.1/1] [...] When an object is said to have a particular type, the type is specified by the lvalue used to designate the object. [...]" And also, later on: "[6.5.3.2/4] The unary * operator denotes indirection. If the operand [...] points to an object, the result is an lvalue designating the object. If the operand has type pointer to type, the result has type type. [...]" And just to be sure about whether "volatile" is part of the type thus specified by the lvalue: "[6.2.5/26] [...] The qualified or unqualified versions of a type are distinct types [...]." Hence, any access to an lvalue whose type is volatile-qualified must be evaluated strictly according to the rules of the abstract machine. So the semantics are completely local, caring only about the type of the lvalue. The type using which the "actual object" being dereferenced was originally defined is irrelevant. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21568
next prev parent reply other threads:[~2005-07-03 6:50 UTC|newest] Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top 2005-05-14 14:09 [Bug tree-optimization/21568] New: [3.4 " rguenth at gcc dot gnu dot org 2005-05-14 16:32 ` [Bug tree-optimization/21568] [4.0/4.1 " pinskia at gcc dot gnu dot org 2005-05-21 13:50 ` rguenth at gcc dot gnu dot org 2005-05-21 17:31 ` schlie at comcast dot net 2005-05-21 18:10 ` debian-gcc at lists dot debian dot org 2005-05-21 20:48 ` schlie at comcast dot net 2005-07-02 16:48 ` pinskia at gcc dot gnu dot org 2005-07-03 4:55 ` gcc2eran at tromer dot org 2005-07-03 5:52 ` pinskia at gcc dot gnu dot org 2005-07-03 6:50 ` gcc2eran at tromer dot org [this message] 2005-07-03 12:12 ` gcc2eran at tromer dot org 2005-07-03 17:33 ` schlie at comcast dot net 2005-07-06 18:42 ` gcc2eran at tromer dot org 2005-07-08 0:41 ` wilson at specifix dot com 2005-07-08 9:18 ` gcc2eran at tromer dot org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20050703065022.24870.qmail@sourceware.org \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).