Revert "Revert "2013-05-23  Richard Biener  <rguenther@suse.de>""

This reverts commit a47303139de76117a74e4e4b769aa7b616160d3d.