[Valgrind-developers] --log options

[Nicholas N. <nj...@ca...>]

Hi,

I would like to change a couple of command line option names:

  --logfile-fd   -->  --log-fd
  --logfile      -->  --log-file
  --logsocket    -->  --log-socket

so they are consistent with each other and with other options (especially
--input-fd).  The old names would be kept for backwards compatibility, but
not documented.  Sure, this is picky, but it's been bugging me for a
while.  Any objections?

I'd also like to just get rid of a few options.  Does anyone ever use the
following?

core:
  --signal-polltime=<time>  time, in mS, we should poll for signals.
                            Only applies for older kernels which need
                            signal routing [50]
  --lowlat-signals=no|yes   improve wake-up latency when a thread receives
                             a signal [no]
  --lowlat-syscalls=no|yes  improve wake-up latency when a thread's
                             syscall completes [no]

Memcheck/Addrcheck:
  --partial-loads-ok=no|yes too hard to explain here; see manual [yes]
  --avoid-strlen-errors=no|yes  suppress errs from inlined strlen [yes]

I'd be interested to hear what other option people think aren't useful.

N