Re: Obtaining access to protected object

[Adam Beneschan <adam@irvine.com>]

On Jul 9, 2:21 pm, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
> On 9 Lip, 17:03, Adam Beneschan <a...@irvine.com> wrote:
>
> > It's a compiler bug.
>
> Reported to bugzilla.
> I cannot believe nobody [*] tried it before.
>
> [*] What about ACATS? My code example looks like a unit test derived
> directly from AARM.

There's plenty that ACATS can't test.  The ACATS tries to test every
rule in the RM, but it doesn't try to test every possible combination
of rules that could interact---that would be impossibly hard.  In
fact, I just tried this on a *task* type, rather than a protected
type, and it works fine.  So if ACATS has a test that tests the
"current instance" rule, that would be considered good enough; if a
compiler handles current instances correctly in some cases but not
others, the ACATS isn't designed to catch all of those problems.

                                  -- Adam