規格では「未定義の動作」で FA だろ。
未定義の動作の一部として処理系が独自の条件で throw out_of_range をあてがえばいいだけのこと。