stor-layout.c (initialize_sizetypes): Properly sign-extend bitsiztype TYPE_MAX_VALUE.

2011-08-01  Richard Guenther  <rguenther@suse.de>

	* stor-layout.c (initialize_sizetypes): Properly sign-extend
	bitsiztype TYPE_MAX_VALUE.

From-SVN: r177016

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index da6e982b712a1342bccd67331f528677afff0d57..b1d0b99cb45f542e798eb7d20a00165611aa085f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2011-08-01  Richard Guenther  <rguenther@suse.de>
+
+       * stor-layout.c (initialize_sizetypes): Properly sign-extend
+       bitsiztype TYPE_MAX_VALUE.
+
 2011-08-01  Julian Brown  <julian@codesourcery.com>
 
        * optabs.c (prepare_cmp_insn): Use correct biasing for fixed-point

diff --git a/gcc/stor-layout.c b/gcc/stor-layout.c
index 8a5c48de920e8bdeb7a05e0e3fa04dd6a1ea2c81..e488741f5a089e174401fbde750b33c0e6e158b6 100644 (file)
--- a/gcc/stor-layout.c
+++ b/gcc/stor-layout.c
@@ -2247,7 +2247,11 @@ initialize_sizetypes (void)
     = size_int (GET_MODE_SIZE (TYPE_MODE (bitsizetype)));
   set_min_and_max_values_for_integral_type (bitsizetype, bprecision,
                                            /*is_unsigned=*/true);
-  /* ???  TYPE_MAX_VALUE is not properly sign-extended.  */
+  /* bitsizetype is unsigned but we need to fix TYPE_MAX_VALUE so that it is
+     sign-extended in a way consistent with force_fit_type.  */
+  TYPE_MAX_VALUE (bitsizetype)
+    = double_int_to_tree (bitsizetype,
+                         tree_to_double_int (TYPE_MAX_VALUE (bitsizetype)));
 
   /* Create the signed variants of *sizetype.  */
   ssizetype = make_signed_type (TYPE_PRECISION (sizetype));