[Bug target/55940] Incorrect code for accessing parameters with 32-bit Intel hosts

[fm3 at os dot inf.tu-dresden.de]

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



--- Comment #9 from Frank Mehnert <fm3 at os dot inf.tu-dresden.de> 2013-01-15 
16:55:40 UTC ---

Just added the preprocessed source, sorry for the delay. It's the source code

from the VirtualBox ticket.