我对分支预测略知一二。这发生在CPU上，与编译无关。尽管你可以告诉编译器一个分支是否比另一个更有可能，例如。在C++20中，通过[[likely]]和[[unlikely]]（参见cppreference），这与CPU执行的分支预测（参见Can I improve branch prediction with my code?）是分开的。
据我所知，当我有，例如。一个循环（有退出条件），CPU会预测退出条件不会被满足，并尝试在循环内执行一些操作，即使条件还没有被检查。如果CPU预测正确，它会节省一些时间，一切都很好。但是，如果它不能正确预测，会发生什么？我知道这将是一个性能打击，但我不知道如果一些已经完成的操作被丢弃或逆转，或者只是它如何处理它。
我举两个简单的例子。第一个（如果我们忽略编译器可能只是在编译时计算总和，我认为没有优化发生）应该很容易预测CPU。循环条件在整个时间内都是相同的，并且循环中的条件仅切换一次。这意味着预测将为我们带来很好的性能提升，即使它失败了几次，添加一个数字也可以很容易地逆转。
在第二个例子中，退出条件也很容易预测。在循环体中，我通过malloc分配了一个新的int数组。请注意，我不是故意释放它的，因为我希望分配成功很长一段时间，所以CPU预测这一成功。有时，当我用完内存（我没有计算总的内存消耗，并假设内存不会被移动到磁盘）或发生其他错误时，分配会失败。这意味着ptr将是NULL，解引用它是UB。它没有定义发生了什么，它可能只是一个无操作，崩溃我的程序或导致我的电脑飞走。因此，我得出结论，CPU不能只是撤消，我想知道会发生什么。

#include <stdlib.h>

#define VERSION 1

#if VERSION == 1
int main() {
    size_t sum = 0ull;

    for (size_t i = 0ull, max = 1'000ull; i < max;  ++i) {
        if (i < (max / 2)) {
            sum += 2 * i;
        }
        else {
            sum += i;
        }
    }

    return 0;
}

#else
int main() {
    int* ptr = NULL;

    for (size_t i = 0ull, max = 1'000'000ull; i < max; ++i) {
        ptr = (int*)malloc((sizeof * ptr) * 1'000ull);

        if (ptr) {
            *ptr = 1234;
        }

        // free(ptr)
    }

    return 0;
}
#endif

分支预测是CPU的任务，UB显然存在于C和C中，所以我认为这个问题的答案不需要一种特定的语言，我的代码应该可以在两种语言中工作。然而，如果选择的语言有所不同，我对C比C更感兴趣，但会很高兴得到任何答案。