--- Comment #10 from rguenth at gcc dot gnu dot org 2009-04-03 12:19
---
*a = 1; <--- a cannot point to b here.
if (b == 2)
b != 2 you mean.
This works for me with 4.0.4 even. Likely optimized on RTL level?
Adjusted testcase:
extern void link_error (void);
extern void abort (v
--- Comment #9 from rguenth at gcc dot gnu dot org 2008-03-14 21:10 ---
We could simply prune locals from points-to solutions for default defs.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
-
--- Comment #8 from pinskia at gcc dot gnu dot org 2008-02-25 18:03 ---
*** Bug 35359 has been marked as a duplicate of this bug. ***
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
---
--- Comment #7 from pinskia at gcc dot gnu dot org 2006-09-12 06:29 ---
*** Bug 26609 has been marked as a duplicate of this bug. ***
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23086
