This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]