getpid() return wrong value if called in image initalizer before main()

[X512]

This is hrev56010.

Test code:

#include <stdio.h>
#include <unistd.h>


struct Init {
    Init()
    {
        printf("Init\n");
        printf("getpid(): %d\n", getpid());
    }
} gInit;


int main()
{
    printf("main\n");
    printf("getpid(): %d\n", getpid());
    return 0;
}

Actual result:

Init
getpid(): 0
main
getpid(): 2819

Expected result:

Init
getpid(): 2819
main
getpid(): 2819