https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96570
--- Comment #17 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Richard Biener from comment #16) > I have posted a prototype at > https://gcc.gnu.org/pipermail/gcc-patches/2025-June/687651.html Discussion shows a more general approach with a __attribute__((no_implicit_truncation)) type attribute might be better. The case of widening conversions to time_t are not understood and better be separated. There's unresolved issues with respect to usual arithmetic conversions and integer promotions (cf composite types), like for time_t + 1, which will complicate implementation (and lack test coverage).
