Attention, ce billet est plutôt technique. La dernière partie nécessite de connaître le langage C. Nous avons enfin trouvé l'erreur sur laquelle nous nous cassions les dents depuis plusieurs jours ! Comme nous l'avions déduit, il s'agissait de l'utilisation d'une variable non initialisée, dont la valeur était donc aléatoire, et qui conditionnait la logique de la détermination du type d'accord. En conformité avec la loi de Murphy, dès que nous ajoutions dans le programme un test nous permettant de vérifier nos calculs, l'erreur ne se produisait plus. Les symptômes nous ont cependant permis de réduire notre champ de recherche à seulement quelques fonctions, et là, bingo ! Un calcul sur une variable "score" non initialisée. Il a suffi d'ajouter 2 caractères seulement, et changer : float score; par float score=0; pour que tout fonctionnne correctement. Afin de nous assurer qu'il ne restait pas d'autres petites nuisances comme celle-ci dans nos programmes, nous avons soigneusement configuré notre compilateur pour qu'il détecte ce genre de cas et nous permette de les vérifier un à un. ________________ Pour les programmeurs sous Windows, il faut activer les alertes de niveau 4. Mais à ce moment-là, on est inondé de milliers de messages anxiogènes portant sur des détails sans importance. Nous avons donc répertorié une à une puis masqué les alertes nous paraissant inutiles. En voici la liste, dans Visual Studio Express 2012 4214;4206;4057;4200;4129;4390;4125;4245;4702;4706;4310;4389;4005;4127;41 89;4505;4100;4121;4068;4273;4244;4305;4996;4309;4018;4805;4101 (celle qui nous intéresse et ne doit donc pas être masquée est l'alerte n° 4701) Ainsi configuré, si on compile cette fonction: short fonction(short a) { short b,c; if(a) b=c=1; else b=0; b=b+c; return(b); } le compilateur inscrit à juste titre une alerte disant que la variable c peut être utilisée sans être initialisée. En effet, si la variable d'entrée a est non nulle, b et c recevront la valeur 1, et le calcul b+c vaudra 2. Mais si la variable a est nulle, c ne reçoit aucune valeur, et le calcul b+c est indéterminé. Nous avons donc activé cette option et recompilé entièrement PDFtoMusic et Harmony Assistant. Nous avons obtenu une centaine d'alertes pour le premier et plus de 600 pour le second ! Autant d'erreurs potentielles dans ces programmes ? Non, car le compilateur trouve énormément de "faux positifs". Sa logique n'est pas très poussée, aussi certains cas ne peuvent pas être détectés correctement. Par exemple, si on modifie la fonction précédente en : short fonction(short a) { short b,c; if(a) b=c=1; else b=0; if(b) b=b+c; return(b); } Le compîlateur va prévenir qu'il peut y avoir un usage de c non initialisée. Mais c'est faux. Pour que c ne soit pas initialisé, il faut que b soit nul. Or, dans ce cas, le calcul n'est pas effectué. C'est donc un faux positif. Une variante est: short fonction(short a) { short b; if(a) b=1; if(a) return(b); return(0); } Le compilateur ne se rend pas compte que c'est le même test qui positionne b et qui l'utilise par la suite. Là aussi, alerte qui n'a pas lieu d'être. En réalité, les cas sont beaucoup plus complexe, et chacun d'entre eux nous demande au moins 30 secondes à 1 minute de réflexion pour nous assurer qu'il n'y a pas de vraie erreur. Pour l'instant, sur les 300 traités, nous n'en avons trouvé que 2 ou 3 de potentiellement dommageables, et encore ils ne surviennent que dans des opérations très rares. Mais, par contre, le compte est facile à faire. 600 vérifications, à 1 mn par vérification, cela fait 10 heures consécutives de réflexion intense. Il faut commence par nous assurer qu'il nous reste assez de paracétamol. |