[정우성]

//5 에서
/* pointer operations */
// 5
z := 1;
x := &x;
t := *z + 1;

if *z < 0 then
*z := 3
else
*z := 2
end;

인데요. z:=1 을 넣은 후에... t:=*z+1 을 하면 t에는 어떤값이 들어가게 되는 것인가요? z:=1; 로 값을 준 뒤에 *z 하면 Error 발생시키는 것이 맞는지요?
주소는 Loc = Var 로 되어 있어서요.


//6 에서도 a에 대해 그렇구요
// 6
k := 0;
a := k;
while k < 100 do
*a := *a + 1;
k := k + 1
end;
...

//7 에서는...
// 7
t := readint;
if t < 10 then
x := &a
else
x := 0
end;
*x := *x + 1;
x := x + 1;

*x 에 대한 연산 후에 x:=x+1; 을 하고 있는데, 그럼 주소의 경우도 연산이 가능해야하는 것인지요?

그리고, if 문 등에 따라서 pointer가 가리키는 주소가 여러가지 경우가 생길 수 있는데요. 예를 들어 x=&a 또는 x=&b 또는 x=&c ... 이러한 다양한 경우의 주소 지정에 대해 *x가 다양한 범위를 가질 수 있을 것 같은데요. 그래서, 결국 y=*x 이런식으로 쓰인다면, x의 가능한 모든 주소들에 대해서도 처리를 해서 y의 범위를 구해야 하는 것이겠죠 --;?

[진민식]

1.

[김진혁]

[quote="진민식"]1.
[quote]그리고, if 문 등에 따라서 pointer가 가리키는 주소가 여러가지 경우가 생길 수 있는데요. 예를 들어 x=&a 또는 x=&b 또는 x=&c ... 이러한 다양한 경우의 주소 지정에 대해 *x가 다양한 범위를 가질 수 있을 것 같은데요. 그래서, 결국 y=*x 이런식으로 쓰인다면, x의 가능한 모든 주소들에 대해서도 처리를 해서 y의 범위를 구해야 하는 것이겠죠 --;?[/quote]

네 안전한 분석기를 만들기 위해서는 위와 같이 해야 할 것 입니다.
[/quote]
그럼 *x:=1 이런식으로 하면 x가 가리키는 변수인 a, b, c가 모두 [1,1]이 되는건가요? 그럼 뭔가 이상해질듯도 한데... 아닌가 생각하면 생각할수록 복잡해진다는 Orz

덧. 전 왜 인용이 안되죠? ㅡㅠ

[손님]