https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101590
--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> --- We could use tree_expr_nonnegative_p here . Though I noticed that tree_single_nonnegative_warnv_p could be improved to use nonzerobits if it is there to speed up things ... I will handle that part seperately.