> >> gdb/ChangeLog:
> >> yyyy-mm-dd  Pedro Alves  <palves@redhat.com>
> >>
> >> 	* tracepoint.c (collection_list::add_memrange): Add gdbarch
> >> 	parameter.  Use paddress instead of printf_vma.  Adjust recursive
> >> 	calls.
> >> 	(collection_list::stringify): Use paddress and phex_nz instead of
> >> 	sprintf_vma.  Adjust add_memrange call.
> >> 	* tracepoint.h (collection_list::add_memrange): Declare new method.
> > 
> > How about adding an ARI rule for those? I think it would help
> > avoid this function creeping back in.
> 
> Indeed, sounds like a good idea.

Thanks! I just pushed the attached patch to master.

gdb/ChangeLog:

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

-- 
Joel