------- Comment #8 from rguenth at gcc dot gnu dot org 2010-06-08 14:50 ------- I don't think you need flow-sensitivity.
Basically when you have only aggregate uses (as in this case) then you only want to scalarize if the destination of the use is scalarized as well (to be able to copyprop out the aggregate copy). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44423