unreachable-code

Когда после бесконечного цикла записывается какое-либо утверждение, это утверждение становится недостижимым кодом. Например: for(;;) { } Sytem.out.println("Test-1"); //unreachable code Но здесь я столкнулся с некоторыми трудностями. Посмотрите на два фрагмента кода ниже: Фрагмент кода 1: for(final i...

Я использую Polyspace IHME-8.1.0.12 (R2011a) для поиска мертвого кода в моем проекте. В настоящее время анализ улавливает этот случай: int f1() { int x = 1; if (x > 0) return 1; else return 0; // dead code } Но не в этом случае: int f2(int x) { if (x > 0) return 1; else return 0; // th...

рассмотрим следующее утверждение: *((char*)NULL) = 0; //undefined behavior это явно вызывает неопределенное поведение. Означает ли существование такого оператора в данной программе, что вся программа не определена или что поведение становится неопределенным только после того, как поток управления попадает ...

если я попытаюсь скомпилировать for(;;) { } System.out.println("End"); компилятор Java выдает ошибку, говоря:Unreachable statement. Но если я добавлю еще один "недоступен"(по-моему) break заявление и сделают это: for(;;) { if(false) break; } System.out.println("End"); он компилирует. Почему это н...