[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.