Bonsoir,
 
c'est peut-être trop pointu comme question mais je n'ai rien trouvé de clair sur internet et je suis emmerdé...
 
J'ai un code C (que je ne peux pas publier) assez basique qui va lire des données dans un fichier, faire quelque calculs et écrire les données résultats dans un autre fichier. Le code compile avec -Wall -Wextra -Werror -pedantic.
 
Problème: Si je compile le code sans indiquer à GCC le niveau d'optimisation ou alors avec -O1 tout fonctionne, par contre si je mets -O2 ou -O3 le fichier en sortie ne contient plus que des conneries (que du 0xFF en fait mais bon, vu que je ne peux pas en dire plus c'est pas très utile ).
 
J'ai regardé les différences entre -O1 et O2 et fait quelque tests, à priori c'est -ftree-vrp qui fout le bazar. Dans la doc il est marqué

ce qui n'est pas franchement clair pour moi.
 
J'ai rajouté quelque printf() et je me suis aperçu que ce bout de code semble poser problème:

 
En effet - vu avec des printf() - valeur est parfois positif et parfois négatif, mais le if() ne "fonctionne plus", comme si il était toujours vrai ou faux, en fonction de la valeur avec laquelle j'initialise la variable "valeur" (p.ex. 100 ou -100).
 
Quelqu'un à qui ça parle et/ou qui peut me dire ce que fait réellement ce -ftree-vrp? Je ne parle pas l'ASM x86/x64 malheureusement, donc je ne peux pas débugger facilement ça.

Je serais toi, j'essaierais de recompiler avec la dernière version de GCC (11.3 je crois), pour voir si ce n'est pas un bug du compilo, corrigé depuis.
A+,

Oui, c'est une bonne idée, sauf que le GCC 11 faut le trouver quelque part... La j'essaye de le compiler dans une VM Deb11, mais la première tentative a déjà échouée avec un beau segfault...

Si je n'y arrive pas je vais installer Debian testing (qui contient GCC 11) dans une VM, mais avec ma connection internet anémique ça va encore me prendre du temps...

Je ferai un retour.

Ah ! Moi je l'ai dans mon installation MSys2
Installé par pacman.
A+,

Bon, j'ai lancé la compil une seconde fois et cette fois ci ça a fonctionné. Faut pas chercher...
 
Par contre toujours le même problème avec GCC11.2: -O1 -> ok, -O2 ou -O3 -> n'importe quoi.  
 
J'aimerais bien comprendre.

J'ai trouvé cette publication qui semble parler de ce problème (cherchez -ftree-vrp), mais c'est toujours pas clair pour moi. Bug compilo ou alors dans mon code?? Je continue de chercher (pas le choix...).

EDIT: En mettant un "volatile" devant la déclaration de int32_t valeur ça fonctionne avec -O3, mais normalement ce "volatile" il n'a rien à faire là...

Et moi j'ai trouvé ceci : https://www.spinics.net/lists/gcchelp/msg20462.html
Et pas mal de bugs anciens liés à -tree-vrp, qui reviennent parfois.
Tu pourrais essayer avec ces options :
-fno-tree-vrp -fdisable-tree-cunrolli -fdisable-tree-cunroll
 
A+,

Merci mille fois gilou!  
 
Avec -O3 -fno-tree-vrp ça fonctionne. J'ai regardé ton lien, ils parlent de comportement non défini dans le standard C, faudra que je regarde ça et ce code de plus près quand j'aurais le temps (dimanche bien rempli...).
 
Problème résolu.