c++ - gcc -fsanitize 多维数组

Question

编译像这样的cpp程序时

int main() {
  int a[5][5];
  cout << a[5][5];
}

使用 -fsanitzie=address 编译时出现运行时异常，但是

int main() {
  int a[5][5];
  cout << a[3][5];
}

也超出范围不会触发此操作。无论如何让 gcc 也检查多维数组，所有索引都在范围内。

Answer 1

我发现，-fsanitize=bounds 可以解决问题。