On 11/13/12 10:24, Masanobu SAITOH wrote: [...]
How about COPTS.softfloat.c+=-fno-tree-vrp?
I think this is a good idea. Please document in doc/HACKS. Obviously, we can carry on working on fixing gcc. Nick