http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54317
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> 2012-08-20 15:46:58 UTC --- Wow, I didn't expect that patch to break a multiplication test... It sounds like you have before and after compilers. Do you have tree-vrp dumps from both? (I would ask if a stage1 compiler fails too, to rule out miscompilation of the compiler, but I have no idea how ada works...) Is hwint 32 bits on this platform? I am looking for acats testresults from other such platforms in gcc-testresults but can't find them...