À la compilation, aucune, admettons, puisque tu peux toujours lier par la suite l'unité compilée à une autre qui initialisera normalement la fonction. Mais (en l'absence de lien qui fait ça) choisir "tiens je vais appeler telle fonction possible" est parfaitement ridicule. Ça donne quoi d'ailleurs si je le compile en mode "bibliothèque", puis je le lie à un autre code qui initialise la fonction à une autre implèm, comme le compilo a déjà choisi (suivant des règles invoquées depuis le Vide) bah mon implem je me la carre ?
Maintenant le compilateur décide de prouver des choses en les invoquant depuis le néant ? Cool, donc si je mets le bon UB en prémisse, je peux lui faire prouver P = NP ? On va se la donner grave.
Remarque ça ne m'étonne pas tellement de voir ici globalement approuvée cette hérésie. Par contre quand c'est systemd qui a un comportement par défaut parfaitement défini qui fait que lorsqu'un service sans directive User valide est lancé, il l'est en root, là c'est Lennart qui veut la mort de Linux. Mais un compilateur qui décide quelque chose en dépit de quelque théorie saine que ce soit, c'est du C, c'est le langage de Dieu, c'est forcément bon.
[^] # Re: Erreur?
Posté par Sufflope (site web personnel) . En réponse au journal Compilateur trop intelligent. Évalué à 7.
À la compilation, aucune, admettons, puisque tu peux toujours lier par la suite l'unité compilée à une autre qui initialisera normalement la fonction. Mais (en l'absence de lien qui fait ça) choisir "tiens je vais appeler telle fonction possible" est parfaitement ridicule. Ça donne quoi d'ailleurs si je le compile en mode "bibliothèque", puis je le lie à un autre code qui initialise la fonction à une autre implèm, comme le compilo a déjà choisi (suivant des règles invoquées depuis le Vide) bah mon implem je me la carre ?
Maintenant le compilateur décide de prouver des choses en les invoquant depuis le néant ? Cool, donc si je mets le bon UB en prémisse, je peux lui faire prouver P = NP ? On va se la donner grave.
Remarque ça ne m'étonne pas tellement de voir ici globalement approuvée cette hérésie. Par contre quand c'est systemd qui a un comportement par défaut parfaitement défini qui fait que lorsqu'un service sans directive User valide est lancé, il l'est en root, là c'est Lennart qui veut la mort de Linux. Mais un compilateur qui décide quelque chose en dépit de quelque théorie saine que ce soit, c'est du C, c'est le langage de Dieu, c'est forcément bon.