2008-04-04 Richard Guenther <rguenther@suse.de>

	PR middle-end/35823
	* fold-const.c (optimize_minmax_comparison): Use the correct
	type for the constant in the simplified comparison.

	* gnat.dg/pr35823.adb: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@133893 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index edda265..8e8c215 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2008-04-04  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/35823
+       * fold-const.c (optimize_minmax_comparison): Use the correct
+       type for the constant in the simplified comparison.
+

 2008-04-04  Zuxy Meng <zuxy.meng@gmail.com>
 
        * config/i386/driver-i386.c (describe_cache): Add l2_sizekb argument.
 2008-04-04  Zuxy Meng <zuxy.meng@gmail.com>
 
        * config/i386/driver-i386.c (describe_cache): Add l2_sizekb argument.

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 14470c5..ef95ae3 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -5547,7 +5547,7 @@ optimize_minmax_comparison (enum tree_code code, tree type, tree op0, tree op1)
 {
   tree arg0 = op0;
   enum tree_code op_code;
 {
   tree arg0 = op0;
   enum tree_code op_code;

-  tree comp_const = op1;
+  tree comp_const;

   tree minmax_const;
   int consts_equal, consts_lt;
   tree inner;
   tree minmax_const;
   int consts_equal, consts_lt;
   tree inner;


@@ -5556,6 +5556,7 @@ optimize_minmax_comparison (enum tree_code code, tree type, tree op0, tree op1)
 
   op_code = TREE_CODE (arg0);
   minmax_const = TREE_OPERAND (arg0, 1);
 
   op_code = TREE_CODE (arg0);
   minmax_const = TREE_OPERAND (arg0, 1);

+  comp_const = fold_convert (TREE_TYPE (arg0), op1);

   consts_equal = tree_int_cst_equal (minmax_const, comp_const);
   consts_lt = tree_int_cst_lt (minmax_const, comp_const);
   inner = TREE_OPERAND (arg0, 0);
   consts_equal = tree_int_cst_equal (minmax_const, comp_const);
   consts_lt = tree_int_cst_lt (minmax_const, comp_const);
   inner = TREE_OPERAND (arg0, 0);

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f3b7b6f..1812cd2 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-04-04  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/35823
+       * gnat.dg/pr35823.adb: New testcase.
+

 2008-04-03  Janis Johnson  <janis187@us.ibm.com>
 
        PR c/35712
 2008-04-03  Janis Johnson  <janis187@us.ibm.com>
 
        PR c/35712

diff --git a/gcc/testsuite/gnat.dg/pr35823.adb b/gcc/testsuite/gnat.dg/pr35823.adb
new file mode 100644 (file)
index 0000000..e882aa3
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/pr35823.adb
@@ -0,0 +1,6 @@
+procedure pr35823 (Arg : in String) is
+   Size : constant Natural := Arg'Size;
+begin
+   null;
+end pr35823;
+