This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: New ARI warning Tue Jan 21 01:52:58 UTC 2014
- From: Joel Brobecker <brobecker at adacore dot com>
- To: Yao Qi <yao at codesourcery dot com>
- Cc: GDB Administrator <gdbadmin at sourceware dot org>, gdb-patches at sourceware dot org
- Date: Thu, 23 Jan 2014 11:14:52 +0400
- Subject: Re: New ARI warning Tue Jan 21 01:52:58 UTC 2014
- Authentication-results: sourceware.org; auth=none
- References: <20140121015258 dot GA9519 at sourceware dot org> <20140123060229 dot GH4762 at adacore dot com> <52E0B3AC dot 8000207 at codesourcery dot com>
> I am not familiar with ARI, but looks like it is a false alarm of
> deprecated rule. ARI thinks "deprecated_warn_user" is a deprecated
> "warn_user", but it isn't.
I think you're right. Somehow, the message read well enought that
it seemed like it was a check specific to that one symbol.
--
Joel