んー、でも、その点まで考慮して、というならば

配列の添え字にintを使っているコードは
全て地雷ということになるな。
sizeof(int) != sizeof(size_t) な環境(現実的には大抵の64bit環境)であれば。