mallocの型づけの実装メモ

mallocの型づけの実装メモ さて

reduce.ml をいじる。演算表部分の実装。
演算って何があるかな? Ctt_abstree.binop .. たくさんある。
CTTbinTimes, CTTbinDiv, CTTbinPlusVV, CTTbinPlusPV, CTTbinMinusVV, CTTbinMinusPV ...
でも定数に絡んでくるのは限られてくる。まず、定数に対して++, -- などはエラー
PVはポインタ演算, VV はポインタが絡まない演算。

例

const_pp.c

なにがおこる?

int* p = NULL;
int n = (int)(p + sizeof(int));

そもそも、 reduce.ml で定数の計算を行っているのだが、ここでは CTTConstInteger どうしの演算を扱っている。のでポインタは絡むのか?

リンク

mallocの型づけ

Author: Takashi Masuyama (tak AT is DOT s DOT u-tokyo DOT ac DOT jp)