[Bug target/50797] [x32] Use 32bit Pmode

[ubizjak at gmail dot com]

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

--- Comment #3 from Uros Bizjak <ubizjak at gmail dot com> 2012-03-19 20:08:26 
UTC ---
Fixed?