This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/16293] __attribute__(([non-]const)): optimization bug?
- From: "giovannibajo at libero dot it" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 30 Jun 2004 11:09:29 -0000
- Subject: [Bug c++/16293] __attribute__(([non-]const)): optimization bug?
- References: <20040630094650.16293.pluto@pld-linux.org>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From giovannibajo at libero dot it 2004-06-30 11:09 -------
It does not matter, short-circuiting of conditionals is always allowed. This
lets us write code like "if (f && f->a == 0)", which otherwise would crash when
f is NULL.
For the specific case, see [expr.log.and]/1 in the C++ standard: "Unlike &, &&
guarantees left-to-right evaluation: the second operand is not evaluated if the
first operand is false."
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16293