有符号溢出和移位操作有哪些未定义或实现相关边界？

有符号溢出和移位操作有哪些未定义或实现相关边界？

请先给出结论，再结合真实项目说明设计边界、失败模式和验证方法。