Fix regression due to Pragma Import series
authorTom Tromey <tromey@adacore.com>
Tue, 4 Apr 2023 15:25:21 +0000 (09:25 -0600)
committerTom Tromey <tromey@adacore.com>
Fri, 12 May 2023 19:25:28 +0000 (13:25 -0600)
A co-worker here at AdaCore discovered that the Pragma Import series
caused a rgression.  When debugging gnat1, gdb started asking for
overload resolution like:

(gdb) call pp(n)
Multiple matches for pp
[0] cancel
[1] pp (types.union_id) at ../../gcc/gcc/ada/treepr.adb:511
[2] treepr.pp (types.union_id) at ../../gcc/gcc/ada/treepr.adb:511

This worked before the series, and is strange anyway, because the
matches refer to the same function.

This patch adds a test case for this situation and fixes the bug by
pruning identical functions in remove_extra_symbols.

gdb/ada-lang.c
gdb/testsuite/gdb.ada/import.exp
gdb/testsuite/gdb.ada/import/pkg.adb
gdb/testsuite/gdb.ada/import/pkg.ads

index b54ef19ad6a0f3150015d9493f7331694f2f93f9..21f3348a161475351c979b751b8425a3375c6cab 100644 (file)
@@ -5079,6 +5079,20 @@ remove_extra_symbols (std::vector<struct block_symbol> &syms)
            }
        }
       
+      /* Two functions with the same block are identical.  */
+
+      else if (syms[i].symbol->aclass () == LOC_BLOCK)
+       {
+         for (j = 0; !remove_p && j < syms.size (); j += 1)
+           {
+             if (i != j
+                 && syms[j].symbol->aclass () == LOC_BLOCK
+                 && (syms[i].symbol->value_block ()
+                     == syms[j].symbol->value_block ()))
+               remove_p = true;
+           }
+       }
+
       if (remove_p)
        syms.erase (syms.begin () + i);
       else
index 866b431aac5bfc9190e611204dd8222c6a9440e2..90cffa48e9c0b8fc880dbd4cd551530077d54edd 100644 (file)
@@ -56,3 +56,5 @@ gdb_breakpoint "local_imported_func" message
 gdb_breakpoint "pkg.exported_func_ada" message
 gdb_breakpoint "exported_func_ada" message
 gdb_breakpoint "exported_func" message
+
+gdb_test "print copy" " = 42"
index e4f1c1a88b773cf8a3ed789abd0bf996129a8638..1c706188c69114ed283c121dfb2908d52e5359f6 100644 (file)
@@ -20,6 +20,13 @@ package body Pkg is
       return Imported_Var_Ada;
    end Exported_Func_Ada;
 
+   function base return Integer is
+   begin
+      return Imported_Var_Ada;
+   end base;
+
+   function copy return Integer renames base;
+
    procedure Do_Nothing (A : System.Address) is
    begin
       null;
index 5576d1b92d789e8b955d78eb56a12b652f705b4f..e30781a436e7df4382fbf35c30583568e5a74e31 100644 (file)
@@ -28,6 +28,11 @@ package Pkg is
    function Exported_Func_Ada return Integer;
    pragma Export (C, Exported_Func_Ada, "exported_func");
 
+   function base return Integer;
+   pragma Export (Ada, base);
+   function copy return Integer;
+   pragma Export (Ada, copy);
+
    procedure Do_Nothing (A : System.Address);
 
 end Pkg;