This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
[patch] ada testsuite: False FAILs with gcc debug info
- From: Jan Kratochvil <jan dot kratochvil at redhat dot com>
- To: Joel Brobecker <brobecker at adacore dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Sun, 27 Mar 2011 10:11:39 +0200
- Subject: [patch] ada testsuite: False FAILs with gcc debug info
Hi Joel,
with installed and matching debug infos there flip some gdb.ada/ testsuite
results PASS->FAIL:
print first
-$2 = 98 'b'
-(gdb) PASS: gdb.ada/arrayparam.exp: print first after function call
+Multiple matches for first
+[0] cancel
+[1] gnat.awk.field_table.first at g-dyntab.ads:146
+[2] gnat.awk.file_table.first at g-dyntab.ads:146
+[3] gnat.awk.pattern_action_table.first at g-dyntab.ads:146
+[4] gnat.cgi.cookie.cookie_table.first at g-table.ads:159
+[5] gnat.cgi.cookie.key_value_table.first at g-table.ads:159
+[6] gnat.cgi.key_value_table.first at g-table.ads:159
+[7] gnat.perfect_hash_generators.it.first at g-table.ads:159
+[8] gnat.perfect_hash_generators.wt.first at g-table.ads:159
+[9] pck.first at .../gdb/testsuite/gdb.ada/arrayparam/pck.ads:18
+> FAIL: gdb.ada/arrayparam.exp: print first after function call (timeout)
It affects `first' and `last' 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"
as even just
(gdb) print "a"="a"
starts giving `false' with debug info installed, the BINOP_EQUAL operator
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, filed PR
for KFAIL.
(gdb) print i
Multiple matches for i
[0] cancel
-[1] pck.first.i at .../gdb/testsuite/gdb.ada/sym_print_name/pck.ads:18
-[2] pck.second.i at .../gdb/testsuite/gdb.ada/sym_print_name/pck.ads:22
-> PASS: gdb.ada/sym_print_name.exp: multiple matches for symbol i
+[1] ada.numerics.complex_types.i at a-ngcoty.ads:139
+[2] ada.numerics.long_complex_types.i at a-ngcoty.ads:139
+[3] ada.numerics.long_long_complex_types.i at a-ngcoty.ads:139
+[4] ada.numerics.short_complex_types.i at a-ngcoty.ads:139
+[5] gnat.secure_hashes.md5.i at g-sehamd.adb:199
+[6] interfaces.fortran.double_precision_complex_types.i at a-ngcoty.ads:139
+[7] interfaces.fortran.i at i-fortra.ads:46
+[8] interfaces.fortran.single_precision_complex_types.i at a-ngcoty.ads:139
+[9] pck.first.i at .../gdb/testsuite/gdb.ada/sym_print_name/pck.ads:18
+[10] pck.second.i at .../gdb/testsuite/gdb.ada/sym_print_name/pck.ads:22
+> FAIL: gdb.ada/sym_print_name.exp: multiple matches for symbol i
1
-$1 = 48
-(gdb) PASS: gdb.ada/sym_print_name.exp: select first choice from multiple-choice menu
+$1 = 1.0
+(gdb) FAIL: gdb.ada/sym_print_name.exp: select first choice from multiple-choice menu
Tested on x86_64-fedora15-linux-gnu after `debuginfo-install gcc' (in fact many
debug infos installed but this one is the culprit I guess).
Thanks,
Jan
gdb/testsuite/
2011-03-27 Jan Kratochvil <jan.kratochvil@redhat.com>
* gdb.ada/arrayparam.exp (print first after function call): Use
explicit package name. Add a comment
(print lasta after function call): Rename ...
(print last after function call): ... it and use explicit package
name.
(print length after function call): Use explicit package name.
* gdb.ada/str_ref_cmp.exp (operator = works for strings): New test.
* gdb.ada/sym_print_name.exp: Change `i' to `integervar'.
(multiple matches for symbol i): Rename ...
(multiple matches for symbol integervar): ... it.
* gdb.ada/sym_print_name/foo.adb (Foo): Change `I' to `IntegerVar'.
* gdb.ada/sym_print_name/pck.ads (Pck): Likewise.
--- a/gdb/testsuite/gdb.ada/arrayparam.exp
+++ b/gdb/testsuite/gdb.ada/arrayparam.exp
@@ -42,17 +42,18 @@ gdb_test "print call_me (\"bonjour\")" \
"print call_me (\"bonjour\")"
# Verify that the array was passed properly by checking the global
-# variables that Call_Me sets as side-effects.
+# variables that Call_Me sets as side-effects. Use the package name to avoid
+# name clash with debug info of system libraries.
-gdb_test "print first" \
+gdb_test "print pck.first" \
"= 98 'b'" \
"print first after function call"
-gdb_test "print last" \
+gdb_test "print pck.last" \
"= 114 'r'" \
- "print lasta after function call"
+ "print last after function call"
-gdb_test "print length" \
+gdb_test "print pck.length" \
"= 7" \
"print length after function call"
--- a/gdb/testsuite/gdb.ada/str_ref_cmp.exp
+++ b/gdb/testsuite/gdb.ada/str_ref_cmp.exp
@@ -34,6 +34,19 @@ clean_restart ${testfile}
set bp_location [gdb_get_line_number "START" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
+# BINOP_EQUAL incorrectly resolves with system debug info to Ada.Strings.Maps.
+set test "operator = works for strings"
+gdb_test_multiple {print "a" = "a"} $test {
+ -re " = false\r\n$gdb_prompt $" {
+ kfail ada/12607 $test
+ untested ${testdir}.exp
+ return 0
+ }
+ -re " = true\r\n$gdb_prompt $" {
+ pass $test
+ }
+}
+
# Verify that we can compare a string slice with another string.
gdb_test "print String_Var (1 .. 3) = \"Hel\"" \
--- a/gdb/testsuite/gdb.ada/sym_print_name.exp
+++ b/gdb/testsuite/gdb.ada/sym_print_name.exp
@@ -45,14 +45,14 @@ clean_restart ${testfile}
set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.adb]
runto "foo.adb:$bp_location"
-set menu [multi_line "Multiple matches for i" \
+set menu [multi_line "Multiple matches for integervar" \
"\\\[0\\\] cancel" \
- "\\\[1\\\] pck\\.first\\.i.*" \
- "\\\[2\\\] pck\\.second\\.i.*" \
+ "\\\[1\\\] pck\\.first\\.integervar.*" \
+ "\\\[2\\\] pck\\.second\\.integervar.*" \
"> $" ]
-set test_name "multiple matches for symbol i"
-gdb_test_multiple "print i" "$test_name" \
+set test_name "multiple matches for symbol integervar"
+gdb_test_multiple "print integervar" "$test_name" \
{
-re "$menu" {
pass "$test_name"
--- a/gdb/testsuite/gdb.ada/sym_print_name/foo.adb
+++ b/gdb/testsuite/gdb.ada/sym_print_name/foo.adb
@@ -17,6 +17,6 @@ with Pck; use Pck;
procedure Foo is
begin
- Do_Nothing (First.I); -- STOP
- Do_Nothing (Second.I);
+ Do_Nothing (First.IntegerVar); -- STOP
+ Do_Nothing (Second.IntegerVar);
end Foo;
--- a/gdb/testsuite/gdb.ada/sym_print_name/pck.ads
+++ b/gdb/testsuite/gdb.ada/sym_print_name/pck.ads
@@ -15,11 +15,11 @@
package Pck is
package First is
- I : Integer := 48;
+ IntegerVar : Integer := 48;
end First;
package Second is
- I : Integer := 74;
+ IntegerVar : Integer := 74;
end Second;
procedure Do_Nothing (Val : in out Integer);