------- Comment #3 from rguenth at gcc dot gnu dot org 2009-12-31 15:30 ------- This is because widening multiplication is not detected if there are more-than-once used sub-expressions. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42498