CLion报数组索引越界警告：是否为误报？求代码审查

我针对1,000,000、10,000,000、100,000,000三种规模的数组开展性能测试，使用CLion IDE时收到警告：Index may have a value of '1000000' which is out of bounds。该警告仅出现在第一个for循环中所有访问bodies[i]的行。

我不确定此警告是否为误报，担心可能存在bug导致性能测试结果失真。已执行以下排查操作：

• 确认系统中上述规模未超出MAX_INT，int为4字节、size_t为8字节，无算术溢出风险；
• 多次重启IDE并清理缓存；
• 将所有size_t改为int，假设[]运算符期望int类型，但未解决警告；
• 搜索同类问题但无结果。

现请求代码审查，确认该警告是否为误报或存在潜在bug。

额外信息 #

• 运行环境：Windows 10 64位、MingGW、Intel处理器；
• size_t的typedef定义如下：

#ifdef _WIN64
  __MINGW_EXTENSION typedef unsigned __int64 size_t;
#else
  typedef unsigned int size_t;
#endif /* _WIN64 */

相关测试代码见提供的C++代码片段。

内容的提问来源于stack exchange，提问作者user13583700