diff options
| author | Olivier Hainque <hainque@adacore.com> | 2009-03-11 14:20:07 +0000 |
|---|---|---|
| committer | Olivier Hainque <hainque@gcc.gnu.org> | 2009-03-11 14:20:07 +0000 |
| commit | 9ee309d44a45bdcfd3139ed590b145785ae1d549 (patch) | |
| tree | 0781116cc42c37636181387f4350a95286e634cd /gcc | |
| parent | 07c9707667f4b6b64d7c709466dc281a45d61630 (diff) | |
| download | gcc-9ee309d44a45bdcfd3139ed590b145785ae1d549.zip gcc-9ee309d44a45bdcfd3139ed590b145785ae1d549.tar.gz gcc-9ee309d44a45bdcfd3139ed590b145785ae1d549.tar.bz2 | |
trans.c (gnat_to_gnu): In range check processing...
ada/
* gcc-interface/trans.c (gnat_to_gnu) <case N_Slice>: 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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/gcc-interface/trans.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/slice_enum.adb | 8 |
4 files changed, 18 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 069a96c..a5739f4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2009-03-11 Olivier Hainque <hainque@adacore.com> + + * gcc-interface/trans.c (gnat_to_gnu) <case N_Slice>: In range + checks processing, remove unintended TREE_TYPE walk on index type. + 2009-03-11 Jason Merrill <jason@redhat.com> PR debug/39086 diff --git a/gcc/ada/gcc-interface/trans.c b/gcc/ada/gcc-interface/trans.c index 4f4f8a1..0384d37 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 711eba2..d76bc03 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2009-03-11 Olivier Hainque <hainque@adacore.com> + + * gnat.dg/slice_enum.adb: New test. + 2009-03-11 Jason Merrill <jason@redhat.com> 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 0000000..cdaea47 --- /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; + |