[Bug ada/60078] acats c761007 fails on ARM
charlet at adacore dot com
gcc-bugzilla@gcc.gnu.org
Thu Feb 6 13:25:00 GMT 2014
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60078
--- Comment #10 from charlet at adacore dot com <charlet at adacore dot com> ---
> well, I don't know if the Finalize method are supposed
> to be called in a sequential manner, which GNAT does obviously not
> guarantee.
> But how about this, for a fix?
That can't be a fix, only a workaround hiding a potential issue.
Your patch is completely changing the semantic and purpose of the test, which
is basically equivalent to removing the test altogether.
Furthermore, you can't put a delay statement inside
a protected procedure, it's a potentially blocking operation.
Arno
More information about the Gcc-bugs
mailing list