This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [commit] cli/cli-script.c, script_from_file, add a break stmt for lint
On Thursday 03 March 2011 17:33:05, Michael Snyder wrote:
> > Please don't. Teach lint about the no-return property of throw_error instead.
> >
> >> default:
> >> internal_error (__FILE__, __LINE__, _("bad reason"));
> >> }
> >
>
> I used "lint" loosely, to mean any checker including a human.
Well, so did I then. :-)
> It makes things clearer.
I disagree.
--
Pedro Alves