jaewooklee
가입: 2014년 10월 3일 올린 글: 23
|
올려짐: 2014년12월21일 22:41 주제: |
|
|
x2=zx=read가 0이 아닌 경우에는
goto x6 on x2이 taken되지만,
goto l on x2도 무조건 taken 되기 때문에 x7: x1 has x1을 수행할 기회가 없고요.
x2가 0인 경우에는
goto x6 on x2가 pass이므로,
x1 has x4를 통해서 x1이 초기화되기때문에 문제가 없습니다.
저는 최대한 안전하게 만들었기 때문에 이건 false로 나오는데, 실은 true임을 알아내기가 대단히 어려운 케이스인 것 같군요... |
|