Discussion :

[|PaRa-BoL]

Bonsoir,

J'aimerai savoir sur quoi GCC se base exactement pour afficher les warning retournés dû à "-Wunreachable-code".

Exemple :

src/main.c:57: warning: will never be executed
src/main.c:57: warning: will never be executed
src/main.c:57: warning: will never be executed
src/main.c:57: warning: will never be executed
src/main.c:57: warning: will never be executed

Alors que mon code ligne 57 :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
if (argc > 1 && strcmp(argv[1], "--version") == 0) {

Pareil à d'autre endroit avec :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
if (flag & FOR_UPDATE_IP) {

Et ces parties sont bien exécutées.
Pourquoi m'afficher plusieurs fois le même warning ?

Merci

[Emmanuel Delahaye]

J'aimerai savoir sur quoi GCC se base exactement pour afficher les warning retournés dû à "-Wunreachable-code".

Exemple :

Alors que mon code ligne 57 :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
if (argc > 1 && strcmp(argv[1], "--version") == 0) {

Pareil à d'autre endroit avec :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
if (flag & FOR_UPDATE_IP) {

Et ces parties sont bien exécutées.
Pourquoi m'afficher plusieurs fois le même warning ?

C'est pas très méchant. Il faudrait d'abord faire une passe sans optimisation (-O0) pour voir si c'est vrai. Ensuite, avec -Ox, il y a un petit conflit entre l'optimiseur et le vérificateur de flot. L'optimiseur vire du code inutile, et l'analyseur constate alors qu'il n'est plus exécuté...

Attention quand même à çà :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
if (flag & FOR_UPDATE_IP) {

c'est suspect...

Pour être clair, c'est soit

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
if (flag && FOR_UPDATE_IP) {

soit

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
if ((flag & FOR_UPDATE_IP) != 0) {

[|PaRa-BoL]

Merci pour ces précisions, effectivement sans l'optimiseur, je n'ai plus de warnings.