Re: [2/2] RFA: implement 'set print symbol'

[Eli Zaretskii <eliz@gnu.org>]

> From: Tom Tromey <tromey@redhat.com>
> Cc: gdb-patches@sourceware.org
> Date: Mon, 09 Apr 2012 11:44:23 -0600
> 
> >>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:
> 
> Tom> If you pick a better name, I will change the patch.
> 
> Eli> How about "set print auto-symbol-filename"?
> 
> Eli> Or maybe make "set print symbol-filename" a tristate setting, with an
> Eli> additional state "always"?
> 
> It isn't directly related to whether or not the file name is printed.
> It has to do with whether the symbol name itself is printed.
> So I don't think either of these really fits.

Maybe I misunderstand what "set print symbol-filename" does, but at
least the manual seems to imply that it affects "print /a":

  If you have a pointer and you are not sure where it points, try
  @samp{set print symbol-filename on}.  Then you can determine the name
  and source file location of the variable where it points, using
  @samp{p/a @var{pointer}}.  This interprets the address in symbolic
  form.

And your change makes it so the symbol is printed even without the /a
part, AFAIU.  So what am I missing?