Fonctionnement de "-Wunreachable-code"

Bonsoir,

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

Exemple :

Citation:

---

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:

---

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

---

Pareil à d'autre endroit avec :

Code:

---

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

Citation:

---

Envoyé par |PaRa-BoL

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:

---

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

---

Pareil à d'autre endroit avec :

Code:

---

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:

---

1 2	if (flag & FOR_UPDATE_IP) {

---

c'est suspect...

Pour être clair, c'est soit

Code:

---

1 2	if (flag && FOR_UPDATE_IP) {

---

soit

Code:

---

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

---

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