procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Do not special case pointers in value_range_base::set.

Browse source 
From-SVN: r277799
This commit is contained in:
Aldy Hernandez 2019-11-04 22:57:51 +00:00 • committed by Aldy Hernandez
parent 1dee89967b
commit 04373f9288
2 changed files with 7 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/ChangeLog
View file

@ -1,3 +1,7 @@
2019-11-04 Aldy Hernandez <aldyh@redhat.com>
* tree-vrp.c (value_range_base::set): Do not special case pointers.
2019-11-04 Tobias Burnus <tobias@codesourcery.com>
* config/gcn/gcn.c (gcn_omp_device_kind_arch_isa): New function.

11
gcc/tree-vrp.c
View file

@ -793,10 +793,8 @@ value_range_base::set (enum value_range_kind kind, tree min, tree max)
{
/* For -fstrict-enums we may receive out-of-range ranges so consider
values < -INF and values > INF as -INF/INF as well. */
bool is_min = (INTEGRAL_TYPE_P (type)
&& tree_int_cst_compare (min, TYPE_MIN_VALUE (type)) <= 0);
bool is_max = (INTEGRAL_TYPE_P (type)
&& tree_int_cst_compare (max, TYPE_MAX_VALUE (type)) >= 0);
bool is_min = vrp_val_is_min (min);
bool is_max = vrp_val_is_max (max);
if (is_min && is_max)
{
@ -816,10 +814,7 @@ value_range_base::set (enum value_range_kind kind, tree min, tree max)
min = max = vrp_val_min (TREE_TYPE (min));
kind = VR_RANGE;
}
else if (is_min
/* Allow non-zero pointers to be normalized to [1,MAX]. */
|| (POINTER_TYPE_P (TREE_TYPE (min))
&& integer_zerop (min)))
else if (is_min)
{
tree one = build_int_cst (TREE_TYPE (max), 1);
min = int_const_binop (PLUS_EXPR, max, one);