C - GCC 优化给出无限循环或段错误

Question

我刚刚发现了一个非常有趣的代码。GCC 优化会奇怪地改变其行为。

• -O0 工作
• -O1 段错误
• -O2无限循环（从7到1996年（含）
• -O3 作品
• -Og段错误
• -奥法斯特作品

这是代码：

int main(int argc, char *argv[])
{
  int i, c;
  c = 0;
  for (i = 10; i < 10000; ++i)
    {
      if (is_lychrel(i))
        ++c;
      printf("%dn", i);
    }
  printf("%dn", c);
  return EXIT_SUCCESS;
}

函数is_lychrel(int)使用该参数。

据我所知，这可能是由于某处未定义的行为，但我无法发现它。我试图禁用一些优化标志，但到目前为止我没有运气。

如果您需要更多代码，请随时询问。

编辑：正如评论中所建议的，我尝试评论一些函数，最后调试了老派的方式（因为 gdb 不起作用）。我找到了罪魁祸首（至少是段错误）：

void add_reverse(int d[], int *len)
{
  int i;
  int plus[28] = {0};
  for (i = 0; i < *len; ++i)
    {
      //printf("d %dn", i);
      plus[i] = d[*len - i - 1];
    }
  add(d, plus, len);
}

假设此函数将一个数字（作为数字数组）添加到他的反向并返回新的长度。示例：({1, 2}, 2)应该给({3, 3}, 2)。它不会与printf段错误，但不会给出好的结果。我正在尝试逐步分析 d[]。d[] 0034647260072070369072646341在段错误之前（似乎有效）。

编辑2：在计算后添加一个简单的显示循环（diplay 一个是不够的），plus更正 -O1 的输出。

  for (i = 0; i < *len; ++i)
    printf("%d", plus[i]);

以下是add()代码（如果有帮助的话）：

void add(int d[], int plus[], int *maxlen)
{
  int i, of;
  of = 0;
  for (i = 0; i <= *maxlen; ++i)
    {
      d[i] += plus[i];
      if (of)
        {
          d[i] += of;
          of    = 0;
        }
      if (d[i] >= 10)
        {
          of    = 1;
          d[i] %= 10;
        }
    }
  if (d[i - 1])
    ++*maxlen;
}

Answer 1

很简单。我的阵列太小了。出于某种原因，我确定尺寸，但我肯定错了。我应该先检查一下。

现在每个优化级别都可以正常工作。