[Bug middle-end/48043] pr47201: var-tracking loc_order_check fails for type punning examples

[krebbel at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48043

--- Comment #1 from Andreas Krebbel krebbel at gcc dot gnu.org 2011-03-09 
12:04:32 UTC ---
Created attachment 23594
  -- http://gcc.gnu.org/bugzilla/attachment.cgi?id=23594
pr47201.i.212r.alignments

[Bug middle-end/48043] pr47201: var-tracking loc_order_check fails for type punning examples

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48043

Richard Guenther rguenth at gcc dot gnu.org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2011.03.09 12:39:00
 Ever Confirmed|0   |1

--- Comment #2 from Richard Guenther rguenth at gcc dot gnu.org 2011-03-09 
12:39:00 UTC ---
We should either prune non-compatible locations from the list (they are
only bitwise identical, the values as interpreted in the locations mode
differ) or simply accept these locations.

[Bug middle-end/48043] pr47201: var-tracking loc_order_check fails for type punning examples

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48043

--- Comment #3 from Jakub Jelinek jakub at gcc dot gnu.org 2011-03-09 
19:34:58 UTC ---
bb 2 op 19 insn 30 MO_VAL_SET (concat/u:SF (value/u:SI 12:5945
@0x243ae38/0x2445870)
(reg:SF 17 %f2))
Either we should SUBREG this to the VALUE's mode, or allow different modes.  If
we do the latter, then we'll need to SUBREG it at vt_expand_loc_callback time.