Se .. Numero altro è più piccolo, irraggiungibile codice

Question

Diciamo che abbiamo il seguente codice in C (o linguaggio simile):

if (x < 10) 
    do_work1(); 
else if (x < 5) 
    do_work2(); 

Sarà il secondo ramo di questo condizionale essere eseguiti in alcuni casi? Il compilatore avverte del codice irraggiungibile?

Answer 1

Il secondo ramo non verrà eseguito e il compilatore non dovrebbe avvisare del codice irraggiungibile.

Answer 2

• Se x è una variabile locale, quindi non vedo alcun modo che possa essere eseguito do_work2.
• Se x è una variabile globale o è condivisa tra più thread, è possibile eseguire do_work2.

Non è possibile dimostrare in generale se il codice sia raggiungibile o meno. Il compilatore può avere alcune regole semplici, comprensibili e veloci da verificare in grado di rilevare casi semplici di codice irraggiungibile. Non dovrebbe includere un sistema di risoluzione lento e complesso che solo a volte funziona come.

Se si desidera un controllo supplementare, utilizzare uno strumento esterno.

Answer 3

No, il compilatore non genererà alcun avviso (codice non raggiungibile) per questo codice. questo tipo di avvertimento viene normalmente quando si utilizza il ritorno senza alcuna condizione.

come

int function(){ 

int x; 
return 0; 
x=35; 
} 

In questo caso vi darà avvertimento.

Answer 4

Will the second branch of condition be executed in some case?

• Sì, potrebbe essere possibile, dipende da che cosa sta accadendo nel codice e quello che il compilatore sceglie di fare con il codice.

Shouldn't compiler warn about unreachable code?

• No, non può perché non c'è garanzia che è irraggiungibile

Prendete questo esempio:

int x = 11; 

void* change_x(){ 
    while(1) 
     x = 3; 
} 

int main(void) 
{ 
    pthread_t cxt; 
    int y = 0; 
    pthread_create(&cxt, NULL, change_x, NULL); 
    while(1){ 
     if(x < 10) 
      printf("x is less than ten!\n"); 
     else if (x < 5){ 
      printf("x is less than 5!\n"); 
      exit(1); 
     } 
     else if(y == 0){ // The check for y is only in here so we don't kill 
          // ourselves reading "x is greater than 10" while waiting 
          // for the race condition 
      printf("x is greater than 10!\n"); 
      y = 1; 
     } 
     x = 11; 
    } 

    return 0; 
} 

E l'output:

mike@linux-4puc:~> ./a.out 
x is greater than 10! 
x is less than 5!  <-- Look, we hit the "unreachable code"