[Bug ada/60078] acats c761007 fails on ARM

Arnaud Charlet charlet@adacore.com
Thu Feb 6 13:24:00 GMT 2014


> 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