[Bug ada/12607] New: BINOP_EQUAL does not work with system debug info installed

[Bug ada/12607] New: BINOP_EQUAL does not work with system debug info installed

[jan.kratochvil at redhat dot com]

http://sourceware.org/bugzilla/show_bug.cgi?id=12607

           Summary: BINOP_EQUAL does not work with system debug info
                    installed
           Product: gdb
           Version: HEAD
            Status: NEW
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned@sourceware.org
        ReportedBy: jan.kratochvil@redhat.com
              Host: x86_64-fedora15-linux-gnu
            Target: x86_64-fedora15-linux-gnu


debuginfo-install gcc

gdb -nx gdb.ada/str_ref_cmp/foo
GNU gdb (GDB) 7.2.50.20110327-cvs
This GDB was configured as "x86_64-unknown-linux-gnu".
(gdb) p "a"="a"
$1 = true
(gdb) start
(gdb) p "a"="a"
$2 = false

It affects the same way:
 (gdb) print String_Var (1 .. 3) = "Hel"
-$1 = true
-(gdb) PASS: gdb.ada/str_ref_cmp.exp: print String_Var (1 .. 3) = "Hel"
+$1 = false
+(gdb) FAIL: gdb.ada/str_ref_cmp.exp: print String_Var (1 .. 3) = "Hel"

BINOP_EQUAL operator with gcc debug info installed resolves to:
  ada__strings__maps__Oeq (Ada.Strings.Maps)
as its type matches in ada_resolve_function.
I do not understand the Ada scoping to fix it.

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug ada/12607] BINOP_EQUAL does not work with system debug info installed

[jan.kratochvil at redhat dot com]

http://sourceware.org/bugzilla/show_bug.cgi?id=12607

Jan Kratochvil <jan.kratochvil at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at sourceware    |brobecke at sourceware dot
                   |dot org                     |org

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug ada/12607] BINOP_EQUAL does not work with system debug info installed

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=12607

Tom Tromey <tromey at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tromey at sourceware dot org
         Resolution|---                         |FIXED
   Target Milestone|---                         |15.1
             Status|NEW                         |RESOLVED

--- Comment #1 from Tom Tromey <tromey at sourceware dot org> ---
This was fixed by

commit d56fdf1b976d32762c780a0107b20e61ce768967
Author: Tom Tromey <tromey@adacore.com>
Date:   Tue Nov 28 14:26:56 2023 -0700

    Refine Ada overload matching

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug ada/12607] BINOP_EQUAL does not work with system debug info installed

[vries at gcc dot gnu.org]

https://sourceware.org/bugzilla/show_bug.cgi?id=12607

Tom de Vries <vries at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |vries at gcc dot gnu.org

--- Comment #2 from Tom de Vries <vries at gcc dot gnu.org> ---
*** Bug 30908 has been marked as a duplicate of this bug. ***

-- 
You are receiving this mail because:
You are on the CC list for the bug.

[Bug ada/12607] BINOP_EQUAL does not work with system debug info installed

[cvs-commit at gcc dot gnu.org]

https://sourceware.org/bugzilla/show_bug.cgi?id=12607

--- Comment #3 from Sourceware Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Tom de Vries <vries@sourceware.org>:

https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=0dbca2abb94778204b2c972bcca3855cdbf9afba

commit 0dbca2abb94778204b2c972bcca3855cdbf9afba
Author: Tom de Vries <tdevries@suse.de>
Date:   Tue Feb 27 16:21:56 2024 +0100

    [gdb/testsuite] Remove KFAIL for PR ada/30908

    PR ada/30908 turns out to be a duplicate of PR ada/12607, which was fixed
by
    commit d56fdf1b976 ("Refine Ada overload matching").

    Remove the KFAILs for PR ada/30908.

    Tested on x86_64-linux.

    Approved-By: Tom Tromey <tom@tromey.com>

    Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=30908

-- 
You are receiving this mail because:
You are on the CC list for the bug.