c++ - GCC 错误 - 在 constexpr 中输入/递减数组访问

Question

我在 constexpr 函数内的 GCC 6 和 7（不是 GCC 5）中发现了一个错误，如果函数在编译时（错误结果）或运行时（正确结果）得到评估，这会导致不同的结果。

#include <iostream>

constexpr int bar(int *b) {
  int i = 0;
  b[i++] = 1; // GCC produce here an failure.

  return 0;
}

constexpr int foo()
{
  int tmp[] = {0};
  bar(tmp);

  return tmp[0];
}

constexpr int cexprI = foo();

int main()
{
  std::cout << cexprI << " " << foo() << "\n";

  return 0;
}

现场示例

问题是数组访问中的递增（也发生在递减）操作。

常量表达式的编译时结果为 0（错误），运行时结果为 1（正确）。

任何人都可以确认此错误并将其报告给：https ://gcc.gnu.org/bugzilla/

我无法在那里创建帐户User account creation has been restricted.。我联系了管理员，但对我来说这个错误非常重要。所以它也想通知你。谢谢！

Answer 1

我已经打开https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77553。感谢您报告问题。