diff options
-rw-r--r-- | gdb/ChangeLog | 5 | ||||
-rw-r--r-- | gdb/ada-exp.y | 12 | ||||
-rw-r--r-- | gdb/testsuite/ChangeLog | 7 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/enums_overload.exp | 37 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/enums_overload/enums_overload.adb | 38 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/enums_overload/enums_overload.ads | 24 | ||||
-rw-r--r-- | gdb/testsuite/gdb.ada/enums_overload/enums_overload_main.adb | 20 |
7 files changed, 142 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index da5c36b..ed4da7a 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,10 @@ 2021-03-15 Tom Tromey <tromey@adacore.com> + * ada-exp.y (exp1): Handle resolution of the right hand side of an + assignment. + +2021-03-15 Tom Tromey <tromey@adacore.com> + * ada-lang.c (ada_aggregate_operation::assign_aggregate): Return container. (ada_assign_operation::evaluate): Update. diff --git a/gdb/ada-exp.y b/gdb/ada-exp.y index 222fec5..4300907 100644 --- a/gdb/ada-exp.y +++ b/gdb/ada-exp.y @@ -413,7 +413,17 @@ exp1 : exp | exp1 ';' exp { ada_wrap2<comma_operation> (); } | primary ASSIGN exp /* Extension for convenience */ - { ada_wrap2<ada_assign_operation> (); } + { + operation_up rhs = pstate->pop (); + operation_up lhs = ada_pop (); + value *lhs_val + = lhs->evaluate (nullptr, pstate->expout.get (), + EVAL_AVOID_SIDE_EFFECTS); + rhs = resolve (std::move (rhs), true, + value_type (lhs_val)); + pstate->push_new<ada_assign_operation> + (std::move (lhs), std::move (rhs)); + } ; /* Expressions, not including the sequencing operator. */ diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 25f072d..7df84af 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,5 +1,12 @@ 2021-03-15 Tom Tromey <tromey@adacore.com> + * gdb.ada/enums_overload/enums_overload_main.adb: New file. + * gdb.ada/enums_overload/enums_overload.ads: New file. + * gdb.ada/enums_overload/enums_overload.adb: New file. + * gdb.ada/enums_overload.exp: New file. + +2021-03-15 Tom Tromey <tromey@adacore.com> + * gdb.ada/assign_arr/target_wrapper.ads (IArray, Put, Do_Nothing): Declare. * gdb.ada/assign_arr/target_wrapper.adb: New file. diff --git a/gdb/testsuite/gdb.ada/enums_overload.exp b/gdb/testsuite/gdb.ada/enums_overload.exp new file mode 100644 index 0000000..165ee1e --- /dev/null +++ b/gdb/testsuite/gdb.ada/enums_overload.exp @@ -0,0 +1,37 @@ +# Copyright 2021 Free Software Foundation, Inc. +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. + +load_lib "ada.exp" + +if { [skip_ada_tests] } { return -1 } + +standard_ada_testfile enums_overload_main + +if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug]] != "" } { + return -1 +} + +clean_restart ${testfile} + +set bp_location [gdb_get_line_number "STOP" ${testdir}/enums_overload.adb] +runto "enums_overload.adb:$bp_location" + +gdb_test "ptype x" "type = range red \\.\\. yellow" +gdb_test "print x := red" " = red" +gdb_test "print x" " = red" +gdb_test "print enums_overload.reddish'(red)" " = red" \ + "function call disambiguates enum" +gdb_test "print y := red" " = red" +gdb_test "print y" " = red" diff --git a/gdb/testsuite/gdb.ada/enums_overload/enums_overload.adb b/gdb/testsuite/gdb.ada/enums_overload/enums_overload.adb new file mode 100644 index 0000000..a245d58 --- /dev/null +++ b/gdb/testsuite/gdb.ada/enums_overload/enums_overload.adb @@ -0,0 +1,38 @@ +-- Copyright 2021 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see <http://www.gnu.org/licenses/>. + +package body Enums_Overload is + + subtype Reddish is Color range Red .. Yellow; + + procedure Test_Enums_Overload is + X: Reddish := Orange; + Y: Traffic_Signal := Yellow; + begin + --gdb: next + X := Orange; + --gdb: next + Y := Yellow; + --gdb: ptype x range red .. yellow + --gdb: set x := red + --gdb: print x red + --gdb: print enums_overload.reddish'(red) red + --gdb: set y := red + --gdb: print y red + --gdb: cont + null; -- STOP + end Test_Enums_Overload; + +end Enums_Overload; diff --git a/gdb/testsuite/gdb.ada/enums_overload/enums_overload.ads b/gdb/testsuite/gdb.ada/enums_overload/enums_overload.ads new file mode 100644 index 0000000..f3158fa --- /dev/null +++ b/gdb/testsuite/gdb.ada/enums_overload/enums_overload.ads @@ -0,0 +1,24 @@ +-- Copyright 2021 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see <http://www.gnu.org/licenses/>. + +package Enums_Overload is + + type Color is (Red, Orange, Yellow, Green, Blue, Violet, Indigo); + + type Traffic_Signal is (Green, Yellow, Red); + + procedure Test_Enums_Overload; + +end Enums_Overload; diff --git a/gdb/testsuite/gdb.ada/enums_overload/enums_overload_main.adb b/gdb/testsuite/gdb.ada/enums_overload/enums_overload_main.adb new file mode 100644 index 0000000..9542433 --- /dev/null +++ b/gdb/testsuite/gdb.ada/enums_overload/enums_overload_main.adb @@ -0,0 +1,20 @@ +-- Copyright 2021 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 3 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program. If not, see <http://www.gnu.org/licenses/>. + +with Enums_Overload; +procedure Enums_Overload_Main is +begin + Enums_Overload.Test_Enums_Overload; +end Enums_Overload_Main; |