while은 어찌 할 수가 없군요;;

jhwon · 가입: 2009년 3월 13일 올린 글: 9

Restrict가 exp를 만족하는 값만 넘겨주는 게 아니라
기존 state를 그대로 넘겨주기 때문에 while문에서 대부분 무한루프를 도네요;;
맞는 거 같긴 한데 왠지 찝찝하군요 ㅋ
_________________
프로그래밍 분석 2009 Spring 수강하는 학생입니다.

임경영 · 가입: 2009년 4월 5일 올린 글: 27

저도 해보고 있는데..
while에 조건문(<나 >요런거가)이 들어가는게 아니라서..
대부분 무한 루프를 도는거 같아용

변수를 여러개 쓰면.. 변수를 쓰는만큼 돌게는 할 수 있기는 한거 같은데..
대부분은 힘든거 같아요 ^^;;

공순호

restrict에서 exp를 만족하는 state만을 거르지 않기 때문에
결과적으로 모든 while loop이 "while true"와 같이 분석되게 됩니다.

while loop의 body를 한번 지나간 이후의 메모리가 fixed point에 도달했다면
분석이 종료되겠지만, 그렇지 않은 경우에는 fixed point에 도달할 때까지 분석이 계속되게 됩니다.