Esta pregunta ya tiene una respuesta aquí:

Si tengo un código como

public static void main(String args[]){
    int x = 0;
    while (false) { x=3; }  //will not compile  
}

compiler se quejará de quex=3 es un código inalcanzable pero si tengo un código como

public static void main(String args[]){
    int x = 0;
    if (false) { x=3; }
    for( int i = 0; i< 0; i++) x = 3;   
}

then se compila correctamente aunque el código dentro deif statement yfor loop es inalcanzable. ¿Por qué esta redundancia no es detectada por la lógica de flujo de trabajo de Java? ¿Algún caso de uso?