使用reinterpret_cast签名混叠

采取以下代码

#include <iostream>
void func() {
    int i = 2147483640;
    while (i < i + 1)
    {
        std::cerr << i << 'n';
        ++i;
    }
    return;
}
int main() {
    func(); 
}

此代码显然是错误的，因为只有在签名的int i溢出(即UB(时才可以终止循环，因此，编译器可以例如将其优化到无限的循环中(Clang在-O3上使用(，或者做其他编译器各种时髦的东西。我现在的问题是：从我对C 标准的读取中，等于签名的类型 May 别名(即Pointers int*和unsigned* May May May(。为了进行一些时髦的签名"包装"，以下行为是否不确定？

#include <iostream>
static int safe_inc(int a)
{
    ++reinterpret_cast<unsigned&>(a);
    return a;
}
void func() {
    int i = 2147483640;
    while (i < safe_inc(i))
    {
        std::cerr << i << 'n';
        ++i;
    }
    return;
}
int main() {
    func(); 
}

我在-O3上使用-Wall -Wextra -Wpedantic -O3 -fsanitize=address,undefined参数的Clang 8和GCC 9尝试了上述代码，并且没有任何错误或警告，并且循环在包装到INT_MIN后终止。

cppreference.com告诉我

类型aleiasing

每当尝试通过类型AliasedType的glvalue读取或修改类型Dynamictype对象的存储值时，该行为是不确定的，除非以下一个是正确的：

• AliasedType是Dynamictype的签名或未签名的变体(可能是CV合格的(。

从我的阅读中，这意味着出于类型混叠的目的，不考虑签名，并且使用reinterpret_cast的代码具有明确的语义(尽管有些俗气(。