New ARI warning Tue Jan 21 01:52:58 UTC 2014

Joel Brobecker brobecker@adacore.com
Thu Jan 23 07:14:00 GMT 2014


> 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



More information about the Gdb-patches mailing list