On 04/09/2013 01:47 AM, Robert Dewar wrote:
Well the back end has all the information to figure this out I think! But anyway, for Ada, the current situation is just fine, and has the advantage that the -gnatG expanded code listing clearly shows in Ada source form, what is going on.
Isn't this a bit optimistic, considering that run-time overflow checking currently does not use existing hardware support?
-- Florian Weimer / Red Hat Product Security Team