为什么（无限）递归在 clang（和 gcc/g++）中使用 和 w/o -O3 会给出不同的结果？

当我编译并运行此代码时

#include <stdio.h>

int collatz(int a) {
    return a == 1 ? 1 : collatz((a%2) ? 3*a+1 : a/2);
}

int main() {
    for (int a = 0; a < 10; ++a)
        printf("%d: %d\n", a, collatz(a));
}

在clang（10.0.0-4ubuntu1）中它崩溃了，但是当我添加-O3它时它运行良好。（当将此作为 C 或 C++ 代码传递给clang.）

我知道它在没有优化标志的情况下崩溃，因为collatzwith的调用0将导致无限递归。但是，随着-O3它返回0: 1，这是错误的。这是优化中的（已知）错误还是我遗漏了什么？

（gcc/ g++(9.3.0) 不优化也崩溃，编译挂起-O3。）

编辑：只是补充一点，我不是在寻找程序挂起/失败的原因（这很清楚），而是为什么编译器显然可以自由返回一些值而程序不应返回（但进入无限循环）。

编辑 2：为什么我没有选择一个更小的例子？嗯，在这里，这给出了相同的行为

int divide(int i) {
  return i == 1 ? 1 : divide(i/2);
} 

回答