coverity: a few bits of dead code and one vgdb command line leak
commit9ed8f42357f73c290c7bff85246977ff1972fbb8
authorPaul Floyd <pjfloyd@wanadoo.fr>
Sat, 2 Sep 2023 21:19:17 +0000 (2 23:19 +0200)
committerPaul Floyd <pjfloyd@wanadoo.fr>
Sat, 2 Sep 2023 21:19:17 +0000 (2 23:19 +0200)
tree1d3d62adcdc0a0fc393578622c47cafde21e49d4
parentfa2f351cf8aecfc4fa3377eac5daa565df13d963
coverity: a few bits of dead code and one vgdb command line leak
coregrind/launcher-freebsd.c
coregrind/vgdb.c
include/pub_tool_basics.h
memcheck/mc_translate.c