|
|
|
|
|
|
by kazinator
713 days ago
|
|
|
`for(;;);` does not terminate; yet it can be removed if it precedes an unreachability assertion. The only issue is that writing to a stream is visible behavior. I believe that it would still be okay to eliminate visible behavior if the program asserts that it's unreachable. The only reason you might not be able to coax the elimination out of compilers is that they are being careful around visible behavior. (Or, more weakly, around external function calls). |
|
|