컴파일러가 최적화할 때 영역 접근 가능성 체크하는데,

무한루프면 루프 이후 영역은 전부 접근불가로 체크되지 않음?


무한루프의 정지조건이 발현 가능한지 평가할텐데


물론 런타임 디펜던트면 불가능하겠지만