https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84938
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org,
| |jason at gcc dot gnu.org
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Perhaps instead of integer_zerop for div_by_zero build2 could use
div_by_zero = TREE_CONSTANT (arg1) && !integer_nonzerop (arg1);
i.e. be conservative rather than optimistic when arg1 is TREE_CONSTANT, but not
INTEGER_CST/COMPLEX_CST. But integer_nonzerop doesn't handle for some reason
VECTOR_CSTs, so we'd either need to change integer_nonzerop or for now build2
to handle VECTOR_CST somehow.
