This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/36227] [4.3/4.4 Regression] POINTER_PLUS folding introduces undefined overflow
- From: "rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 13 May 2008 14:13:14 -0000
- Subject: [Bug middle-end/36227] [4.3/4.4 Regression] POINTER_PLUS folding introduces undefined overflow
- References: <bug-36227-10053@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #5 from rguenth at gcc dot gnu dot org 2008-05-13 14:13 -------
Only the theoretical problem remains. We still fold
(unsigned long)ptr + (unsigned long)i
to
(unsigned long)(ptr + (unsigned long)i)
where the inner POINTER_PLUS_EXPR now may invoke undefined behavior on
overflow.
No testcase is known where that results in a wrong-code bug.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|rguenth at gcc dot gnu dot |unassigned at gcc dot gnu
|org |dot org
Status|ASSIGNED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36227