取决于优化级别的奇怪溢出行为

让我们看一下代码：

#include <stdio.h>

int main()
{
    unsigned char xi;
    unsigned char xf;
    int   bi = -300;
    float bf = -300;
    xi = bi;
    xf = bf;
    printf("xi = %d\n", xi);
    printf("xf = %d\n", xf);

    return 0;
}

我们得到输出：

xi = 212
xf = 0

尽管预计它会unsigned char正确溢出并且两个变量都等于212. 有趣的是，当标志存在时-O0（没有优化），输出如预期：

xi = 212
xf = 212

带有标志-O1及以上，已经出现差异。

显然，我在这里踩到了某种未定义的行为，告诉我这里到底发生了什么？关节在哪里？

PS。当溢出“向上”时，如果float跳过，输出为 255，如示例中所示。