Tu as mal compris.
Le compilo a viré du code car le code en question est sensé ne jamais être utilisé (le pointeur est utilisé la ligne d'avant, donc ne peut pas être à NULL).
Le compilo a fait son boulot en virant du code inutile, juste "trop bien" alors qu'il y avait un bug (test fait trop tard), et c'est le bug qui rend le code inutile donc viré.
Le compilo a fait ce qu'on lui a demandé, sauf que la demande était bugguée (faire le test avant), une fois la demande corrigée le compilo fait correctement son boulot.
Le compilo n'a juste pas la fonctionnalité de correction des bugs dans la demande humaine.
[^] # Re: Je ne comprends pas
Posté par Zenitram (site web personnel) . En réponse à la dépêche Exploit local dans le noyau Linux 2.6.30. Évalué à 7.
Le compilo a viré du code car le code en question est sensé ne jamais être utilisé (le pointeur est utilisé la ligne d'avant, donc ne peut pas être à NULL).
Le compilo a fait son boulot en virant du code inutile, juste "trop bien" alors qu'il y avait un bug (test fait trop tard), et c'est le bug qui rend le code inutile donc viré.
Le compilo a fait ce qu'on lui a demandé, sauf que la demande était bugguée (faire le test avant), une fois la demande corrigée le compilo fait correctement son boulot.
Le compilo n'a juste pas la fonctionnalité de correction des bugs dans la demande humaine.