べつに、規格上の未定義動作に処理系が動作を定義することが禁止されているわけでもあるまい。
実際にVCがそう定義しているかどうかは知らんが、定義しているならその環境で「必ず」と言って
いいわけだし、一般論として「OSがエラーを出す場合もある」ってのも正しい。