ARI: Add detection of printf_vma and sprintf_vma
authorJoel Brobecker <brobecker@adacore.com>
Sat, 19 Nov 2016 18:40:17 +0000 (10:40 -0800)
committerJoel Brobecker <brobecker@adacore.com>
Sat, 19 Nov 2016 18:40:17 +0000 (10:40 -0800)
commitcc188e5fd6d4f8d3061ed6c58c432a150f7966e9
tree0d369c48e85f9f7871a8200f6d846e89cf303bdd
parent0fc9967d0b28a1e037233d49cec479d3ab1e9e59
ARI: Add detection of printf_vma and sprintf_vma

We shouldn't be using these, since their output goes straight to
stdout, which doesn't allow redirection. So this patch updates
the ARI to detect any such use.

gdb/ChangeLog:

        * contrib/ari/gdb_ari.sh: Add detection of printf_vma and
        sprintf_vma.
gdb/ChangeLog
gdb/contrib/ari/gdb_ari.sh