C'est aussi parce que ce que fait ce genre d'outil est indécidable dans le cas général. Donc, l'outil fait ce qu'il peut, mais aura toujours des faux positifs et/ou des faux négatifs. Or, le boulot d'un compilo, c'est de compiler les programmes corrects (éventuellement avec warnings) et de refuser les autres, et on aime bien que les règles qui disent comment le compilo choisi dans quel cas on est soient claires.
[^] # Re: je comprend pas trop...
Posté par Matthieu Moy (site web personnel) . En réponse à la dépêche 985 bugs dans le noyau Linux. Évalué à 10.