[Bug target/52146] [x32] - Wrong code to access addresses 0x80000000 to 0xFFFFFFFF

[steffen-schmidt at siemens dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52146

--- Comment #8 from Steffen Schmidt <steffen-schmidt at siemens dot com> 2012-02-10 12:23:00 UTC ---
(In reply to comment #5)
> Created attachment 26636 [details]
> A patch

I've tried the patch, it applied cleanly, but unfortunately it had no effect on
the generated code.
The gcc built is based on latest of branch hjl/x32/gcc-4_6-branch+mx32, should
I switch to another gcc branch?