From 7f18f91710ecaf3f6f90989716f07f5a247d0764 Mon Sep 17 00:00:00 2001 From: Jeff Law Date: Thu, 16 Feb 2006 17:18:03 -0700 Subject: [PATCH] stor-layout.c (set_sizetype): Set TYPE_MAX_VALUE properly for sizetype when sizetype is unsigned. * stor-layout.c (set_sizetype): Set TYPE_MAX_VALUE properly for sizetype when sizetype is unsigned. From-SVN: r111170 --- gcc/ChangeLog | 5 +++++ gcc/stor-layout.c | 19 +++++++++++++++++++ 2 files changed, 24 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fc3e1c82810..57696b6aa26 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2006-02-16 Jeff Law + + * stor-layout.c (set_sizetype): Set TYPE_MAX_VALUE properly + for sizetype when sizetype is unsigned. + 2006-02-16 Denis Nagorny PR rtl-optimization/25603 diff --git a/gcc/stor-layout.c b/gcc/stor-layout.c index bf25e97c629..caf176f49c5 100644 --- a/gcc/stor-layout.c +++ b/gcc/stor-layout.c @@ -2018,6 +2018,25 @@ set_sizetype (tree type) ssizetype = sizetype; sbitsizetype = bitsizetype; } + + /* If SIZETYPE is unsigned, we need to fix TYPE_MAX_VALUE so that + it is sign extended in a way consistent with force_fit_type. */ + if (TYPE_UNSIGNED (type)) + { + tree orig_max, new_max; + + orig_max = TYPE_MAX_VALUE (sizetype); + + /* Build a new node with the same values, but a different type. */ + new_max = build_int_cst_wide (sizetype, + TREE_INT_CST_LOW (orig_max), + TREE_INT_CST_HIGH (orig_max)); + + /* Now sign extend it using force_fit_type to ensure + consistency. */ + new_max = force_fit_type (new_max, 0, 0, 0); + TYPE_MAX_VALUE (sizetype) = new_max; + } } /* TYPE is an integral type, i.e., an INTEGRAL_TYPE, ENUMERAL_TYPE