diff options
| author | Tom Tromey <tromey@adacore.com> | 2019-10-02 10:13:33 -0600 |
|---|---|---|
| committer | Tom Tromey <tromey@adacore.com> | 2019-10-08 11:16:21 -0600 |
| commit | cd6fdaa1edac2a543aa23d77f0001f25f45c026b (patch) | |
| tree | 1b93f96c3ab09f23e716befe6fd869d114f60d23 /gdb/contrib | |
| parent | 79bb1944d63eb04f86cfacc62321c1062c292ac0 (diff) | |
| download | gdb-cd6fdaa1edac2a543aa23d77f0001f25f45c026b.zip gdb-cd6fdaa1edac2a543aa23d77f0001f25f45c026b.tar.gz gdb-cd6fdaa1edac2a543aa23d77f0001f25f45c026b.tar.bz2 | |
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.
Diffstat (limited to 'gdb/contrib')
| -rwxr-xr-x | gdb/contrib/ari/gdb_ari.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/contrib/ari/gdb_ari.sh b/gdb/contrib/ari/gdb_ari.sh index 4bd434c..7202563 100755 --- 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") } |