--- Comment #8 from jsm28 at gcc dot gnu dot org 2009-03-31 01:39 ---
Closing 4.2 branch, fixed in 4.3.
--
jsm28 at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #7 from jsm28 at gcc dot gnu dot org 2008-05-19 20:23 ---
4.2.4 is being released, changing milestones to 4.2.5.
--
jsm28 at gcc dot gnu dot org changed:
What|Removed |Added
--
--- Comment #6 from rguenth at gcc dot gnu dot org 2008-04-30 21:24 ---
The problem is that NONLOCAL has to alias all global symbols but does not:
# x_2 = V_MUST_DEF ;
x = 4;
...
# NONLOCAL.53_13 = V_MAY_DEF ;
*D.2057_3 = D.2060_6;
That is, during flow insensitive alias com
--- Comment #5 from sandra at codesourcery dot com 2008-04-30 20:17 ---
Here's another testcase for the same bug, or one closely related to it:
#include
unsigned x = 8;
unsigned *addr()
{
return &x;
}
int main()
{
x = 4;
*addr() = *addr() / 2;
printf ("*addr() = %d, x = %d\n",
--- Comment #4 from pinskia at gcc dot gnu dot org 2008-02-08 00:30 ---
*** Bug 35134 has been marked as a duplicate of this bug. ***
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
---
--- Comment #3 from jsm28 at gcc dot gnu dot org 2008-02-01 16:55 ---
4.2.3 is being released now, changing milestones of open bugs to 4.2.4.
--
jsm28 at gcc dot gnu dot org changed:
What|Removed |Added
-
--- Comment #2 from rguenth at gcc dot gnu dot org 2007-12-07 10:25 ---
Confirmed. Wrong alias info:
foo (p)
{
unsigned int n.0;
:
# n_2 = V_MUST_DEF ;
n = 4;
# NONLOCAL.6_6 = V_MAY_DEF ;
*p_3 = 0;
# VUSE ;
n.0_4 = n;
if (n.0_4 != 0) goto ; else goto ;
:;
#
