Re: [commit] cli/cli-script.c, script_from_file, add a break stmt for lint

[Tom Tromey <tromey at redhat dot com>]

>>>>> "Michael" == Michael Snyder <msnyder@vmware.com> writes:

Michael> I used "lint" loosely, to mean any checker including a human.

Which one was it in this case?

I think people reading GDB absolutely must know that error,
throw_exception, and some other things cannot return.  Otherwise many
areas of the code will make no sense.

If there is a code checker that doesn't realize this, then it is also
going to spit out a lot of bad reports about GDB.

Michael> It makes things clearer.  There is plenty of precident in gdb:

If we had to choose, I would say these should be removed, rather than
new ones added.

Tom