------- Comment #7 from bonzini at gnu dot org 2008-03-12 12:50 ------- The expand patch does not bootstrap, even with the tweaks Jakub suggested.
I'm also hesitant to fold it on the tree level because it's actually undefined code unless -fwrapv. For example if a = b = 65536LL, (int) a * (int) b = undefined (int) (a * b) = (int) (1LL << 32) = 0 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34522
