From: aldyh Date: Mon, 7 Oct 2019 11:53:40 +0000 (+0000) Subject: * ipa-prop.c (ipa_vr::nonzero_p): Add TYPE_UNSIGNED check. X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e24cd8b5ca6ab674936fb0828a2c4a27214a4679;p=thirdparty%2Fgcc.git * ipa-prop.c (ipa_vr::nonzero_p): Add TYPE_UNSIGNED check. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@276655 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 83ad0017b5ae..db122e24c475 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2019-10-07 Aldy Hernandez + + * ipa-prop.c (ipa_vr::nonzero_p): Add TYPE_UNSIGNED check. + 2019-10-07 Aldy Hernandez * ipa-prop.c (ipa_vr::nonzero_p): New. diff --git a/gcc/ipa-prop.c b/gcc/ipa-prop.c index 20a0bddcbab9..5020f4a44d5a 100644 --- a/gcc/ipa-prop.c +++ b/gcc/ipa-prop.c @@ -5117,6 +5117,7 @@ ipa_vr::nonzero_p (tree expr_type) const unsigned prec = TYPE_PRECISION (expr_type); return (type == VR_RANGE + && TYPE_UNSIGNED (expr_type) && wi::eq_p (min, wi::one (prec)) && wi::eq_p (max, wi::max_value (prec, TYPE_SIGN (expr_type)))); }