OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR middle-end/78429 (ICE in set_value_range, at tree-vrp.c on non-standard boolean)

Browse Source 
PR middle-end/78429
	* tree.h (wi::fits_to_boolean_p): New predicate.
	(wi::fits_to_tree_p): Use it for boolean types.
	* tree.c (int_fits_type_p): Likewise.

From-SVN: r242829
This commit is contained in:
Eric Botcazou 2016-11-24 12:02:53 +00:00 committed by Eric Botcazou
parent bf2df7a9b3
commit 3b08cde8dd
5 changed files with 50 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2016-11-24 Eric Botcazou <ebotcazou@adacore.com>
PR middle-end/78429
* tree.h (wi::fits_to_boolean_p): New predicate.
(wi::fits_to_tree_p): Use it for boolean types.
* tree.c (int_fits_type_p): Likewise.
2016-11-24 Martin Liska <mliska@suse.cz>
* print-tree.c (struct bucket): Remove.

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2016-11-24 Eric Botcazou <ebotcazou@adacore.com>
* gcc.c-torture/compile/20161124-1.c: New test.
2016-11-24 Jakub Jelinek <jakub@redhat.com>
PR bootstrap/78493

22
gcc/testsuite/gcc.c-torture/compile/20161124-1.c Normal file
View File

@ -0,0 +1,22 @@
/* PR middle-end/78429 */
/* Testcase by Chengnian Sun <chengniansun@gmail.com> */
int a[6];
char b;
unsigned c;
short d;
volatile int e;
int foo (void)
{
int f;
for (; c <= 2; c++) {
d = 3;
for (; d >= 0; d--) {
int g = b;
f = a[d] || b;
}
f || e;
}
return 0;
}

6
gcc/tree.c
View File

@ -9144,10 +9144,10 @@ int_fits_type_p (const_tree c, const_tree type)
bool ok_for_low_bound, ok_for_high_bound;
signop sgn_c = TYPE_SIGN (TREE_TYPE (c));
/* Short-circuit boolean types since various transformations assume that
they can only take values 0 and 1. */
/* Non-standard boolean types can have arbitrary precision but various
transformations assume that they can only take values 0 and +/-1. */
if (TREE_CODE (type) == BOOLEAN_TYPE)
return integer_zerop (c) || integer_onep (c);
return wi::fits_to_boolean_p (c, type);
retry:
type_low_bound = TYPE_MIN_VALUE (type);

18
gcc/tree.h
View File

@ -5295,6 +5295,9 @@ wi::extended_tree <N>::get_len () const
namespace wi
{
template <typename T>
bool fits_to_boolean_p (const T &x, const_tree);
template <typename T>
bool fits_to_tree_p (const T &x, const_tree);
@ -5303,16 +5306,23 @@ namespace wi
wide_int from_mpz (const_tree, mpz_t, bool);
}
template <typename T>
bool
wi::fits_to_boolean_p (const T &x, const_tree type)
{
return eq_p (x, 0) || eq_p (x, TYPE_UNSIGNED (type) ? 1 : -1);
}
template <typename T>
bool
wi::fits_to_tree_p (const T &x, const_tree type)
{
/* Short-circuit boolean types since various transformations assume that
they can only take values 0 and 1. */
/* Non-standard boolean types can have arbitrary precision but various
transformations assume that they can only take values 0 and +/-1. */
if (TREE_CODE (type) == BOOLEAN_TYPE)
return eq_p (x, 0) || eq_p (x, 1);
return fits_to_boolean_p (x, type);
if (TYPE_SIGN (type) == UNSIGNED)
if (TYPE_UNSIGNED (type))
return eq_p (x, zext (x, TYPE_PRECISION (type)));
else
return eq_p (x, sext (x, TYPE_PRECISION (type)));