公式な見解はわかりませんが、不具合っぽくみえます。(仕様っぽくも見えます) D=B のところで グローバル変数にDがある Dは配列である Bは配列である よし、通れ！ みたいな感じでポインタを渡してる気がするので、EXECの方が良い気はします。