对值为0x80000000的整数执行除法是否属于未定义行为？

以下是示例代码：

printf("%d", 0x80000000 / 10)

该代码输出的绝对值正确，但遗漏负号。验证原符号整数的输出：

printf("%d", 0x80000000)

结果确实为负数。

不过，若将该字面量包装为整数类型的值，除法会保留符号，符合预期；将除法结果显式转换为int类型也可正常工作。

测试使用的clang版本为18.1.5

内容的提问来源于stack exchange，提问作者Artyom Gevorgyan