[Bug tree-optimization/41460] value-numbering does not handle type-punning in a user-friendly way

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41460

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed since at least GCC 7.

With -fno-tree-ccp (since ccp changes the MEM to use VCE):
ealias:
  a = 1.0e+0;
  _2 = MEM[(int *)&a];
  b = _2;
  a ={v} {CLOBBER};


fre1:
  <bb 2> [0.00%]:
  a = 1.0e+0;
  b = 1065353216;
  a ={v} {CLOBBER};