int i =0while (i < 10){}이렇게 범위가 있을때는증가식이 없으면 무한루프bool more = falsewhile( false){ // do something}불리언일때는 어떻게 함?
while은 그 내부의 식이 true일 동안은 계속 루프도는것임
while(false)는 while내부의 식이 false이므로 루프안들어가서 무한루프가 아님
불리언 값을 보면되지
하나하나 봐야함
일반적으로 찾는 방법이 없어요
제가 말하는건 코드 작성할때가 아니라 컴파일러 시점에서 봣을때 무한 루프인지 확인하는 방법을..
그거 정지성문제
못알아냄
예쩐에 어떤 책에서 오류가 없는 프로그래밍을 연구한다고 해서.. 이런건 어떻게 해결할지 궁금해서
뉴비인줄 알았는데 좆고수떡밥이었네 ㅠㅠ
컴파일러 떡밥임? 찍...
못 알아냄? 정지조건이 발현될 수 있는지 그 뭐라그러더라 접근불가 영역 판정할 때 알아낼 수 있지 않나? 정지조건이 발현되지 않으면 그 무한루프 아래는 죄다 최적화되버릴텐데