[정지홍]

1)만약 cmd 프로그램 중

변수의 선언부를 실행하지 않고 변수를 사용하게 될 경우는 어떻게 해야하나요?

예를 들어

x has 1;
goto L on x;
y has 2;
L : z has x-y;
say z

위와 같은 프로그램의 경우, y의 정의를 실행하다보면 뛰어넘게 되어서 오류가 나게 됩니다. 하지만 check_cmd가 이를 거를 수 있어야 하나요? 아니면,

https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4781
이 글에서 인용한 문구

[김윤승]

1)의 경우는 잡아야 합니다. 문제의 의도가 저런 것을 잡는 것입니다.
실행 여부를 분석한다는 뜻은, 반대로 변수가 정의가 안 된 채로 사용되지만 그 명령 자체가 실행이 안 될 때는 true이지만 굳이 true를 리턴할 필요는 없다는 뜻입니다.
즉, 2)같은 경우에는 false를 리턴해도 된다는 뜻입니다.

어떤 실행에서도 잘못될 가능성이 있다면 무조건 false를 리턴해야 합니다.