Let ARI allow gdb %p printf extensions

As pointed out by Simon, this changes ARI to allow the gdb-specific %p
printf extensions.

gdb/ChangeLog
2019-10-08  Tom Tromey  <tromey@adacore.com>

	* contrib/ari/gdb_ari.sh (%p): Allow gdb-specific %p extensions.
This commit is contained in:
Tom Tromey 2019-10-02 10:13:33 -06:00
parent 79bb1944d6
commit cd6fdaa1ed
2 changed files with 6 additions and 1 deletions

View File

@ -1,3 +1,7 @@
2019-10-08 Tom Tromey <tromey@adacore.com>
* contrib/ari/gdb_ari.sh (%p): Allow gdb-specific %p extensions.
2019-10-08 Christian Biesinger <cbiesinger@google.com>
* gdbtypes.c (overload_debug): Move comment to header.

View File

@ -353,7 +353,8 @@ Do not use printf(\"%p\"), instead use printf(\"%s\",paddr()) to dump a \
target address, or host_address_to_string() for a host address"
category["%p"] = ari_code
}
/%p/ && !/%prec/ {
# Allow gdb %p extensions, but not other uses of %p.
/%p[^[\]sF]/ && !/%prec/ {
fail("%p")
}