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
>>>>> "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