本当は怖いC言語？

昨日も書きましたが、メンバーとともにZ80を使っています。

そんな中、メンバーから「コンパイラがバグってる」と報告を受け、
一緒にコンパイル結果を眺めていました。

以下実例 

extern int *varX;
int *varY;

void func() {
   varY = varX;
}

結果

	PUBLIC	func_

	CSEG
%4 "ptest.c" 0

func_:
%5 1
	LD	HL,(varX_)
	LD	(varY_),HL
%6 0
	RET
	EXTRN	varX_

	DSEG
	PUBLIC	varY_
varY_:	DS	2

	END

ここで、LD HL,(varX_)は、ポインタが欲しいのに間接参照している、
ダメじゃないか！？

と言う話しになったわけです。
最初に言っておくと、これはメンバーの勘違いで、私もそれにつられてしばらく、
コンパイラのバグと思ってしまいましたが、実はコンパイラは全く正常でした。

varXは、extern int *varX と宣言されているので、
ポインタを格納できる変数です。
ということは、欲しいアドレスはvarXという名前がついたアドレスに格納されているわけなので、
LD HL,(varX_)で正しいわけです。

何故こんな初歩的なことを勘違いしたかというと、
extern int *varXの実態は、

別のアセンブリ言語で書いたファイルで、varX_ という名前で定義されていました。
この場合、C言語側からみると、varX_はポインタを格納できる変数です。
しかし、アセンブリ言語側では、varX_を配列としてコードを書いていました。
そのため、コンパイラと同じように扱って欲しければ、 
extern int varX[] と書かなくてはならないのでした。
こうすれば、コンパイラは LD HL,(varX_)ではなく、LD HL,varX_とコンパイルし、
目的の結果が得られるのです。 

わかれば本当に初歩的なことですが、
たまに勘違いをすると、本当は怖いC言語でした。