https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101758 --- Comment #12 from Andrew Pinski <pinskia at gcc dot gnu.org> --- What sanopt does is emits a check and then match calls tree_expr_nonzero_p which then calls maybe_nonzero_address. So I am just going to call tree_expr_nonzero_p here then ...