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.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 49b468d69586ea30a41e95a5c2f3966af9ba549a..c4c7d5f0f02c6863a63a775e80d29893ccb51d4c 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -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.

diff --git a/gdb/contrib/ari/gdb_ari.sh b/gdb/contrib/ari/gdb_ari.sh
index 4bd434c8feca6f535cb1e352b640dfe6eda43b4d..7202563f7a307deba02a3a3ad6cf5a703c78dc13 100755 (executable)
--- a/gdb/contrib/ari/gdb_ari.sh
+++ b/gdb/contrib/ari/gdb_ari.sh
@@ -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")
 }