x64 C compiler code

[TWell]

if someone compile this code with msvc 2015 with option -Ox

Code Select Expand

#define WIN32_LEAN_AND_MEAN
#include <windows.h>

void __cdecl WinMainCRTStartup(void)
{
ExitProcess(WinMain(GetModuleHandle(NULL),0,0,SW_SHOW));
}

int WINAPI WinMain(HINSTANCE hInstance, HINSTANCE hPrevInstance, LPSTR lpszCmdLine, int nCmdShow)
{
MessageBox (NULL, "Hello World!", "Hello", MB_OK);
return 0;
}gets

Code Select Expand

WinMain LABEL NEAR
        sub     rsp, 40                                 ; 0000 _ 48: 83. EC, 28
        xor     r9d, r9d                                ; 0004 _ 45: 33. C9
        lea     r8, [$SG30964]                          ; 0007 _ 4C: 8D. 05, 00000000(rel)
        lea     rdx, [$SG30965]                         ; 000E _ 48: 8D. 15, 00000000(rel)
        xor     ecx, ecx                                ; 0015 _ 33. C9
        call    qword ptr [__imp_MessageBoxA]           ; 0017 _ FF. 15, 00000000(rel)
        xor     eax, eax                                ; 001D _ 33. C0
        add     rsp, 40                                 ; 001F _ 48: 83. C4, 28
        ret                                             ; 0023 _ C3

same with gcc 6

Code Select Expand

WinMain LABEL NEAR
        sub     rsp, 40                                 ; 0000 _ 48: 83. EC, 28
        lea     r8, [?_001]                             ; 0004 _ 4C: 8D. 05, 00000000(rel)
        xor     r9d, r9d                                ; 000B _ 45: 31. C9
        xor     ecx, ecx                                ; 000E _ 31. C9
        lea     rdx, [?_002]                            ; 0010 _ 48: 8D. 15, 00000006(rel)
        call    qword ptr [__imp_MessageBoxA]           ; 0017 _ FF. 15, 00000000(rel)
        xor     eax, eax                                ; 001D _ 31. C0
        add     rsp, 40                                 ; 001F _ 48: 83. C4, 28
        ret                                             ; 0023 _ C3
EDIT: not relevant after all

[jj2007]

IMHO add rsp, 20h would be sufficient in this case.