!打合せ
某処理系．
ポインタ解析と同じ難しさなので極めて難しいです，という説明．