From: Olivier Hainque Date: Wed, 11 Mar 2009 14:20:07 +0000 (+0000) Subject: trans.c (gnat_to_gnu): In range check processing... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9ee309d44a45bdcfd3139ed590b145785ae1d549;p=gcc.git trans.c (gnat_to_gnu): In range check processing... ada/ * gcc-interface/trans.c (gnat_to_gnu) : In range check processing, remove unintended TREE_TYPE walk on index type to get to base type. testsuite/ * gnat.dg/slice_enum.adb: New test. From-SVN: r144774 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 069a96cae7d..a5739f450fe 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2009-03-11 Olivier Hainque + + * gcc-interface/trans.c (gnat_to_gnu) : In range + checks processing, remove unintended TREE_TYPE walk on index type. + 2009-03-11 Jason Merrill PR debug/39086 diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 4f4f8a1a154..0384d370da2 100644 --- a/gcc/ada/gcc-interface/trans.c +++ b/gcc/ada/gcc-interface/trans.c @@ -3594,7 +3594,7 @@ gnat_to_gnu (Node_Id gnat_node) gnu_max_expr = protect_multiple_eval (gnu_max_expr); /* Derive a good type to convert everything to. */ - gnu_expr_type = get_base_type (TREE_TYPE (gnu_index_type)); + gnu_expr_type = get_base_type (gnu_index_type); /* Test whether the minimum slice value is too small. */ gnu_expr_l = build_binary_op (LT_EXPR, integer_type_node, diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 711eba2883c..d76bc03855c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2009-03-11 Olivier Hainque + + * gnat.dg/slice_enum.adb: New test. + 2009-03-11 Jason Merrill PR debug/39086 diff --git a/gcc/testsuite/gnat.dg/slice_enum.adb b/gcc/testsuite/gnat.dg/slice_enum.adb new file mode 100644 index 00000000000..cdaea47d65c --- /dev/null +++ b/gcc/testsuite/gnat.dg/slice_enum.adb @@ -0,0 +1,8 @@ +-- { dg-do compile } + +procedure Slice_Enum is + Pos : array (Boolean) of Integer; +begin + Pos (Boolean) := (others => 0); +end; +