wrong value returned by ada-lang.c:compare_names
authorJoel Brobecker <brobecker@gnat.com>
Tue, 29 Nov 2011 01:00:52 +0000 (01:00 +0000)
committerJoel Brobecker <brobecker@gnat.com>
Tue, 29 Nov 2011 01:00:52 +0000 (01:00 +0000)
The ada-lang.c:compare_names function returns the wrong value
when the first string starts with the same contents as the second
string, followed by '_' and then some characters that do not make
a symbol name suffix.  For instance:

    string1 = "generics__test_generics__instance__print"
    string2 = "generics__test_generics"

In that case, compare_names (string1, string2) return -1, when
clearly, string1 is greater than string2.

A consequence of this problem is that GDB may fail to lookup
"generics.test_generics" from our partial symtabs, because
partial symbols are ordered by strcmp_iw_ordered:

    (gdb) b generics.test_generics
    Function "generics.test_generics" not defined.
    Make breakpoint pending on future shared library load? (y or [n])

gdb/ChangeLog:

        * ada-lang.c (compare_names): Fix wrong return value in case
        string1 starts with the same contents as string2, followed
        by an underscore that do not start a symbol name suffix.

gdb/testsuite/ChangeLog:

        * gdb.ada/fullname_bp: New testcase.

gdb/ChangeLog
gdb/ada-lang.c
gdb/testsuite/ChangeLog
gdb/testsuite/gdb.ada/fullname_bp.exp [new file with mode: 0644]
gdb/testsuite/gdb.ada/fullname_bp/dn.adb [new file with mode: 0644]
gdb/testsuite/gdb.ada/fullname_bp/dn.ads [new file with mode: 0644]
gdb/testsuite/gdb.ada/fullname_bp/foo.adb [new file with mode: 0644]
gdb/testsuite/gdb.ada/fullname_bp/pck.adb [new file with mode: 0644]
gdb/testsuite/gdb.ada/fullname_bp/pck.ads [new file with mode: 0644]

index 7a6aaeaaa97d5ab3fe133c4bb6606bfe3eef1536..cf90f8b909e62c460bae183b303041e8d301bf45 100644 (file)
@@ -1,3 +1,9 @@
+2011-11-28  Joel Brobecker  <brobecker@adacore.com>
+
+       * ada-lang.c (compare_names): Fix wrong return value in case
+       string1 starts with the same contents as string2, followed
+       by an underscore that do not start a symbol name suffix.
+
 2011-11-28  Phil Muldoon  <pmuldoon@redhat.com>
 
        PR python/13369
index e396596f1f224b736113edf52b9224d04bbd4eeb..f960a25058c54fad88906e92dcc198f2caf74394 100644 (file)
@@ -4894,7 +4894,7 @@ compare_names (const char *string1, const char *string2)
          if (is_name_suffix (string1))
            return 0;
          else
-           return -1;
+           return 1;
        }
       /* FALLTHROUGH */
     default:
index 8c0c1c052ecf8edd139ed6bc8b431b4a7c3525ba..04da9f515a06ce8f6310c73eb1b11bc70f25b6b6 100644 (file)
@@ -1,3 +1,7 @@
+2011-11-28  Joel Brobecker  <brobecker@adacore.com>
+
+       * gdb.ada/fullname_bp: New testcase.
+
 2011-11-25  Jan Kratochvil  <jan.kratochvil@redhat.com>
 
        PR testsuite/12649
diff --git a/gdb/testsuite/gdb.ada/fullname_bp.exp b/gdb/testsuite/gdb.ada/fullname_bp.exp
new file mode 100644 (file)
index 0000000..faf63b9
--- /dev/null
@@ -0,0 +1,34 @@
+# Copyright 2011 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"
+
+set testdir "fullname_bp"
+set testfile "${testdir}/foo"
+set srcfile ${srcdir}/${subdir}/${testfile}.adb
+set binfile ${objdir}/${subdir}/${testfile}
+
+file mkdir ${objdir}/${subdir}/${testdir}
+if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug ]] != "" } {
+  return -1
+}
+
+clean_restart ${testfile}
+
+# Break on "pck.hello" rather than just "hello" to make sure we trigger
+# the non-wild symbol lookup.
+gdb_test "break pck.hello" \
+         "Breakpoint \[0-9\]+ at 0x\[0-9a-f\]+: file .*pck.adb, line \[0-9\]+."
+
diff --git a/gdb/testsuite/gdb.ada/fullname_bp/dn.adb b/gdb/testsuite/gdb.ada/fullname_bp/dn.adb
new file mode 100644 (file)
index 0000000..e66c420
--- /dev/null
@@ -0,0 +1,21 @@
+--  Copyright 2011 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 Dn is
+   procedure Do_Nothing (A : System.Address) is
+   begin
+      null;
+   end Do_Nothing;
+end Dn;
diff --git a/gdb/testsuite/gdb.ada/fullname_bp/dn.ads b/gdb/testsuite/gdb.ada/fullname_bp/dn.ads
new file mode 100644 (file)
index 0000000..2dcf355
--- /dev/null
@@ -0,0 +1,19 @@
+--  Copyright 2011 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 System;
+package Dn is
+   procedure Do_Nothing (A : System.Address);
+end Dn;
diff --git a/gdb/testsuite/gdb.ada/fullname_bp/foo.adb b/gdb/testsuite/gdb.ada/fullname_bp/foo.adb
new file mode 100644 (file)
index 0000000..5614eb8
--- /dev/null
@@ -0,0 +1,21 @@
+--  Copyright 2011 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 Pck; use Pck;
+procedure Foo is
+begin
+   Hello;
+   There;
+end Foo;
diff --git a/gdb/testsuite/gdb.ada/fullname_bp/pck.adb b/gdb/testsuite/gdb.ada/fullname_bp/pck.adb
new file mode 100644 (file)
index 0000000..1ec2baa
--- /dev/null
@@ -0,0 +1,35 @@
+--  Copyright 2011 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 Dn; use Dn;
+
+package body Pck is
+   procedure Hello is
+      procedure Nested is
+         I : Integer := 0;
+      begin
+         Do_Nothing (I'Address);
+      end Nested;
+   begin
+      Nested;
+   end Hello;
+
+   procedure There is
+   begin
+      null;
+   end There;
+end Pck;
+
+
diff --git a/gdb/testsuite/gdb.ada/fullname_bp/pck.ads b/gdb/testsuite/gdb.ada/fullname_bp/pck.ads
new file mode 100644 (file)
index 0000000..cb714ef
--- /dev/null
@@ -0,0 +1,22 @@
+--  Copyright 2011 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 Pck is
+   procedure Hello;
+   procedure There;
+   --  The name of that procedure needs to be greater (in terms
+   --  of alphabetical order) than the name of the procedure above.
+end Pck;
+