https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102546 --- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Other cases where that is true are operator_mult (both op1 and op2), operator_divide, operator_trunc_mod, operator_abs, operator_absu.