On Wed, May 14, 2025 at 4:06 PM Spencer Abson wrote:
>
> Floating-point to integer conversions can be inexact or invalid (e.g., due to
> overflow or NaN). However, since users of operation_could_trap_p infer the
> bool FP_OPERATION argument from the expression's type, FIX_TRUNC_EXPR is
> consider
Floating-point to integer conversions can be inexact or invalid (e.g., due to
overflow or NaN). However, since users of operation_could_trap_p infer the
bool FP_OPERATION argument from the expression's type, FIX_TRUNC_EXPR is
considered non-trapping here.
This patch handles FIX_TRUNC_EXPR explici
