Bug 12607 - BINOP_EQUAL does not work with system debug info installed
Summary: BINOP_EQUAL does not work with system debug info installed
Status: RESOLVED FIXED
Alias: None
Product: gdb
Classification: Unclassified
Component: ada (show other bugs)
Version: HEAD
: P2 normal
Target Milestone: 15.1
Assignee: Joel Brobecker
URL:
Keywords:
: 30908 (view as bug list)
Depends on:
Blocks:
 
Reported: 2011-03-27 07:58 UTC by Jan Kratochvil
Modified: 2024-02-27 15:21 UTC (History)
2 users (show)

See Also:
Host: x86_64-fedora15-linux-gnu
Target: x86_64-fedora15-linux-gnu
Build:
Last reconfirmed:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Jan Kratochvil 2011-03-27 07:58:52 UTC
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.
Comment 1 Tom Tromey 2024-02-26 18:32:27 UTC
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
Comment 2 Tom de Vries 2024-02-27 11:14:19 UTC
*** Bug 30908 has been marked as a duplicate of this bug. ***
Comment 3 Sourceware Commits 2024-02-27 15:21:49 UTC
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