Fix Ada assignment resolution
authorTom Tromey <tromey@adacore.com>
Mon, 15 Mar 2021 12:23:12 +0000 (06:23 -0600)
committerTom Tromey <tromey@adacore.com>
Mon, 15 Mar 2021 12:23:12 +0000 (06:23 -0600)
The expression rewrite missed an Ada resolution case.  GDB previously
knew how to disambiguate the right hand side of an assignment, but now
it does not.

This patch fixes the problem and adds the missing test case.

gdb/ChangeLog
2021-03-15  Tom Tromey  <tromey@adacore.com>

* ada-exp.y (exp1): Handle resolution of the right hand side of an
assignment.

gdb/testsuite/ChangeLog
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.

gdb/ChangeLog
gdb/ada-exp.y
gdb/testsuite/ChangeLog
gdb/testsuite/gdb.ada/enums_overload.exp [new file with mode: 0644]
gdb/testsuite/gdb.ada/enums_overload/enums_overload.adb [new file with mode: 0644]
gdb/testsuite/gdb.ada/enums_overload/enums_overload.ads [new file with mode: 0644]
gdb/testsuite/gdb.ada/enums_overload/enums_overload_main.adb [new file with mode: 0644]

index da5c36b6813823e281c85a5a965f7755b949826f..ed4da7aae9314d92c7392ac3bfed432c66ae9a65 100644 (file)
@@ -1,3 +1,8 @@
+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
index 222fec536f3c3c179db279f789fe95445d4bfb5a..4300907685c91f970818a581892e710590ae5d92 100644 (file)
@@ -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.  */
index 25f072d6105b2a1d5a1a050c6897b8badffdbdea..7df84af72fcbb2d6ee23d582a2f9c6398ba39767 100644 (file)
@@ -1,3 +1,10 @@
+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):
diff --git a/gdb/testsuite/gdb.ada/enums_overload.exp b/gdb/testsuite/gdb.ada/enums_overload.exp
new file mode 100644 (file)
index 0000000..165ee1e
--- /dev/null
@@ -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 (file)
index 0000000..a245d58
--- /dev/null
@@ -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 (file)
index 0000000..f3158fa
--- /dev/null
@@ -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 (file)
index 0000000..9542433
--- /dev/null
@@ -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;