Bug du fork sous Linux !!

Bonjour,

Voici un programme correct dont l'exécution produit un résultat incorrecte. Je pense que c'est un bug de l'implementation de l'appel système fork() sous linux. Qlq un peut me confirmer ce bug ? Si oui y a-t-il un correctif ?

Merci.

Voici le code :
#include <stdio.h>
#include <signal.h>
#include <wait.h>
#include <sys/types.h>

pid_t pid_fils=33;

void f() {
printf("%d \n", pid_fils);
}

int main(void) {
signal(SIGUSR1, f);
switch ((pid_fils=fork())) {
case -1: perror("fork"); exit(1);
case 0: kill(getppid(), SIGUSR1); exit(0);
default : pause();wait(NULL);
}
exit(0);
}


Le programme affiche 33 au lieu du pid du fils. (Le fils est créer avant que le père n'initialise la variable pid_fils !!!).