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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55940 --- Comment #10 from Frank Mehnert 2013-01-15 16:57:48 UTC --- And regarding your comment, Jakub, in this case it's not a question of not emitting the code of a function or not. The function code is emitted and the code is definitely wrong

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55940 --- Comment #9 from Frank Mehnert 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.

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55940 --- Comment #8 from Frank Mehnert 2013-01-15 16:54:53 UTC --- Created attachment 29172 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29172 Preprocessed source

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55940 --- Comment #7 from Frank Mehnert 2013-01-15 15:37:43 UTC --- Actually this looks like some mixup in the generated machine code: VBoxHost_RTR0MemObjGetPagePhysAddr(): c1b: 8b 0f mov(%edi),%ecx c1d: 8b 47 04

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55940 Jakub Jelinek changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Co

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55940 --- Comment #5 from Frank Mehnert 2013-01-15 15:03:14 UTC --- Actually I was able to reproduce generating the buggy code. My gcc version: Using built-in specs. COLLECT_GCC=/usr/bin/gcc COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55940 --- Comment #4 from Frank Mehnert 2013-01-15 13:53:04 UTC --- The problem is that I cannot reproduce this problem either. Some versions of gcc 4.7 might be affected (the affected user uses 'Exherbo gcc-4.7.2-r2'), others not. As far as I c

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55940 Richard Biener changed: What|Removed |Added Target||i?86-*-* --- Comment #3 from R

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55940 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |WAITING Last reconfirmed|

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

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55940 --- Comment #1 from Richard Biener 2013-01-11 11:23:02 UTC --- Your assumptions are wrong according to documentation: @item cdecl @cindex functions that do pop the argument stack on the 386 @opindex mrtd On the Intel 386, the @code{cde