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

tree-ssanames.c (set_range_info_raw): Abstract from ...

Browse source 
* tree-ssanames.c (set_range_info_raw): Abstract from ...
	(set_range_info): ...here.  Only call set_range_info_raw if domain
	is useful.
	(set_nonzero_bits): Call set_range_info_raw.
	* tree-ssanames.h (set_range_info_raw): New.
testsuite/
	* gcc.dg/Walloca-14.c: Adapt test to recognize new complaint of
	unbounded use.

From-SVN: r249846
This commit is contained in:
Aldy Hernandez 2017-06-30 15:36:41 +00:00 • committed by Aldy Hernandez
parent e59e8b5a1c
commit 059ab14914
5 changed files with 58 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
gcc/ChangeLog
View file

@ -1,3 +1,11 @@
2017-06-30 Aldy Hernandez <aldyh@redhat.com>
* tree-ssanames.c (set_range_info_raw): Abstract from ...
(set_range_info): ...here. Only call set_range_info_raw if domain
is useful.
(set_nonzero_bits): Call set_range_info_raw.
* tree-ssanames.h (set_range_info_raw): New.
2017-06-30 Jakub Jelinek <jakub@redhat.com>
PR target/81225

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2017-06-30 Aldy Hernandez <aldyh@redhat.com>
* gcc.dg/Walloca-14.c: Adapt test to recognize new complaint of
unbounded use.
2017-06-30 David Malcolm <dmalcolm@redhat.com>
PR c++/80014

1
gcc/testsuite/gcc.dg/Walloca-14.c
View file

@ -9,5 +9,6 @@ g (int *p)
extern void f (void *);
void *q = __builtin_alloca (p); /* { dg-warning "passing argument 1" } */
/* { dg-warning "unbounded use of 'alloca'" "unbounded" { target *-*-* } 11 } */
f (q);
}

47
gcc/tree-ssanames.c
View file

@ -320,11 +320,14 @@ make_ssa_name_fn (struct function *fn, tree var, gimple *stmt,
return t;
}
/* Store range information RANGE_TYPE, MIN, and MAX to tree ssa_name NAME. */
/* Helper function for set_range_info.
Store range information RANGE_TYPE, MIN, and MAX to tree ssa_name
NAME. */
void
set_range_info (tree name, enum value_range_type range_type,
const wide_int_ref &min, const wide_int_ref &max)
set_range_info_raw (tree name, enum value_range_type range_type,
const wide_int_ref &min, const wide_int_ref &max)
{
gcc_assert (!POINTER_TYPE_P (TREE_TYPE (name)));
gcc_assert (range_type == VR_RANGE || range_type == VR_ANTI_RANGE);
@ -360,6 +363,34 @@ set_range_info (tree name, enum value_range_type range_type,
}
}
/* Store range information RANGE_TYPE, MIN, and MAX to tree ssa_name
NAME while making sure we don't store useless range info. */
void
set_range_info (tree name, enum value_range_type range_type,
const wide_int_ref &min, const wide_int_ref &max)
{
gcc_assert (!POINTER_TYPE_P (TREE_TYPE (name)));
/* A range of the entire domain is really no range at all. */
tree type = TREE_TYPE (name);
if (min == wi::min_value (TYPE_PRECISION (type), TYPE_SIGN (type))
&& max == wi::max_value (TYPE_PRECISION (type), TYPE_SIGN (type)))
{
range_info_def *ri = SSA_NAME_RANGE_INFO (name);
if (ri == NULL)
return;
if (ri->get_nonzero_bits () == -1)
{
ggc_free (ri);
SSA_NAME_RANGE_INFO (name) = NULL;
return;
}
}
set_range_info_raw (name, range_type, min, max);
}
/* Gets range information MIN, MAX and returns enum value_range_type
corresponding to tree ssa_name NAME. enum value_range_type returned
@ -419,9 +450,13 @@ set_nonzero_bits (tree name, const wide_int_ref &mask)
{
gcc_assert (!POINTER_TYPE_P (TREE_TYPE (name)));
if (SSA_NAME_RANGE_INFO (name) == NULL)
set_range_info (name, VR_RANGE,
TYPE_MIN_VALUE (TREE_TYPE (name)),
TYPE_MAX_VALUE (TREE_TYPE (name)));
{
if (mask == -1)
return;
set_range_info_raw (name, VR_RANGE,
TYPE_MIN_VALUE (TREE_TYPE (name)),
TYPE_MAX_VALUE (TREE_TYPE (name)));
}
range_info_def *ri = SSA_NAME_RANGE_INFO (name);
ri->set_nonzero_bits (mask);
}

3
gcc/tree-ssanames.h
View file

@ -69,6 +69,9 @@ struct GTY ((variable_size)) range_info_def {
/* Sets the value range to SSA. */
extern void set_range_info (tree, enum value_range_type, const wide_int_ref &,
const wide_int_ref &);
extern void set_range_info_raw (tree, enum value_range_type,
const wide_int_ref &,
const wide_int_ref &);
/* Gets the value range from SSA. */
extern enum value_range_type get_range_info (const_tree, wide_int *,
wide_int *);