https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111506
--- Comment #6 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Mon, 2 Oct 2023, rdapp at gcc dot gnu.org via Gcc-bugs wrote: > In our case the int64_t -> int32_t conversion is implementation defined when > the source doesn't fit the target. GCC documents the implementation-defined semantics it uses for out-of-range conversions from an integer type to a signed integer type. That does not depend on whether the conversion is vectorized or not. And for conversions between floating and integer types in either direction, there is no conversion between two integer types involved in the abstract machine.