http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43940
--- Comment #7 from stevenb.gcc at gmail dot com
2012-03-19 09:51:41 UTC ---
> --- Comment #6 from Richard Guenther 2012-03-19
> 09:34:58 UTC ---
> I think this was fixed by
>
> 2012-02-29 Bill Schmidt
>
> PR tree-optimization/52424
>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43940
Richard Guenther changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Depends on|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43940
--- Comment #5 from Steven Bosscher 2012-03-18
22:48:49 UTC ---
With trunk today (r185508), on x86_64-linux at -O2 -fno-tree-vrp:
The .072t.ifcombine dump:
main ()
{
void * p;
:
p_2 = __builtin_malloc (4);
if (p_2 != 0B)
goto ;
else
--- Comment #4 from steven at gcc dot gnu dot org 2010-07-25 16:25 ---
cprop_into_successor_phis only propagates SSA_NAME_VALUEs, but not conditional
copies/constants. May be a better place to fix this bug.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43940
--- Comment #3 from steven at gcc dot gnu dot org 2010-07-25 10:29 ---
VRP does this with ASSERT_EXPRs. DOM does not optimize this because bb4 has
two predecessors, and record_equivalences_from_incoming_edge only records from
a single predecessor.
This should probably be handled record
--- Comment #2 from steven at gcc dot gnu dot org 2010-07-24 22:04 ---
Investigating...
--
steven at gcc dot gnu dot org changed:
What|Removed |Added
AssignedTo|u
--- Comment #1 from pinskia at gcc dot gnu dot org 2010-07-24 21:44 ---
Confirmed.
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
Status|UNCON
