------- Comment #13 from bonzini at gnu dot org 2008-08-28 06:16 ------- Answering to your comment #11, one is a sizetype and one is not. But it is enough to extend my fold-const.c patch to MULT_EXPRs in order to catch it.
Also, the problem with the full testcase is that PRE is not cascading "enough". Adding another PRE pass right after the first catches it. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37242