From 91c537b758841f4dbcf29b4a26bfc2d20c6c52ee Mon Sep 17 00:00:00 2001
From: Roger Sayle <roger@eyesopen.com>
Date: Sat, 1 Jan 2005 20:33:28 +0000
Subject: [PATCH] tree.c (int_fits_type_p): A narrower type always fits in a
wider one...
* tree.c (int_fits_type_p): A narrower type always fits in a
wider one, except for negative values into unsigned types.
Co-Authored-By: Olivier Hainque <hainque@act-europe.fr>
From-SVN: r92788
---
gcc/ChangeLog | 6 ++++++
gcc/tree.c | 15 +++++++++++----
2 files changed, 17 insertions(+), 4 deletions(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 159941cec258..503f15341341 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2005-01-01 Roger Sayle <roger@eyesopen.com>
+ Olivier Hainque <hainque@act-europe.fr>
+
+ * tree.c (int_fits_type_p): A narrower type always fits in a
+ wider one, except for negative values into unsigned types.
+
2005-01-01 Roger Sayle <roger@eyesopen.com>
* tree.c (int_fits_type_p): Compare the result of force_fit_type
diff --git a/gcc/tree.c b/gcc/tree.c
index ca97e30351e4..e648aaa6b45d 100644
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -4879,10 +4879,17 @@ int_fits_type_p (tree c, tree type)
/* Perform some generic filtering first, which may allow making a decision
even if the bounds are not constant. First, negative integers never fit
in unsigned types, */
- if ((TYPE_UNSIGNED (type) && tree_int_cst_sgn (c) < 0)
- /* Also, unsigned integers with top bit set never fit signed types. */
- || (! TYPE_UNSIGNED (type)
- && TYPE_UNSIGNED (TREE_TYPE (c)) && tree_int_cst_msb (c)))
+ if (TYPE_UNSIGNED (type) && tree_int_cst_sgn (c) < 0)
+ return 0;
+
+ /* Second, narrower types always fit in wider ones. */
+ if (TYPE_PRECISION (type) > TYPE_PRECISION (TREE_TYPE (c)))
+ return 1;
+
+ /* Third, unsigned integers with top bit set never fit signed types. */
+ if (! TYPE_UNSIGNED (type)
+ && TYPE_UNSIGNED (TREE_TYPE (c))
+ && tree_int_cst_msb (c))
return 0;
/* If at least one bound of the type is a constant integer, we can check
--
GitLab