re PR tree-optimization/21923 (Ada compiler fails to build on gcc 4.1)

2005-06-15  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/21923
        * tree-ssa.c (tree_ssa_useless_type_conversion_1): Conversions between
        integer types whos ranges are different are not useless.

From-SVN: r100996

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2c988366848b11aad097148b20592b64a9474687..f0cbb568fa5a9792d611fb82d179e1742948f6c3 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2005-06-15  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       PR tree-opt/21923
+       * tree-ssa.c (tree_ssa_useless_type_conversion_1): Conversions between
+       integer types whos ranges are different are not useless.
+
 2005-06-15  Andrew Pinski  <pinskia@physics.uc.edu>
 
        PR tree-opt/22024

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index 0a83b786b7de763a15d17fe70d29a77d1d4a5c00..50c6e7266f527b061a406af0a46d5107fcb5403e 100644 (file)
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -902,7 +902,9 @@ tree_ssa_useless_type_conversion_1 (tree outer_type, tree inner_type)
   else if (INTEGRAL_TYPE_P (inner_type)
            && INTEGRAL_TYPE_P (outer_type)
           && TYPE_UNSIGNED (inner_type) == TYPE_UNSIGNED (outer_type)
-          && TYPE_PRECISION (inner_type) == TYPE_PRECISION (outer_type))
+          && TYPE_PRECISION (inner_type) == TYPE_PRECISION (outer_type)
+          && simple_cst_equal (TYPE_MAX_VALUE (inner_type), TYPE_MAX_VALUE (outer_type))
+          && simple_cst_equal (TYPE_MIN_VALUE (inner_type), TYPE_MIN_VALUE (outer_type)))
     {
       bool first_boolean = (TREE_CODE (inner_type) == BOOLEAN_TYPE);
       bool second_boolean = (TREE_CODE (outer_type) == BOOLEAN_TYPE);