Re: Task discriminants

["Martin Dowie" <martin.dowie@btopenworld.com>]

"Randy Brukardt" <randy@rrsoftware.com> wrote in message
news:vpGdnbX1YZHq9y_d4p2dnA@megapath.net...
> > Is there any compiler out that that does not do the 'right thing' - I've
> certainly never come across one.
>
> How would you know? Depending on side-effects in elaboration order is
> dubious in any case. The only place I've ever seen discriminants
initialized
> by functions with side-effects is in ACATS tests - it's certainly not a
> common style. And, the issue is one of optimization - an implementation
> could implement elaboration in unrolled loops or the like in some cases.

Spotting when it does do the 'right' thing would be easy during any half
decent testing as the whole point of this is to ensure that the array index
into the task is the same as value as the discriminant.

As to whether the style is common, well, YMMV. :-)

> Just because it works in some particular case doesn't mean that it will
work
> in all cases.

Absolutely! But that was kind of my question - is there any implementation
that won't give the desired result in this case? Not to my knowledge but
then
I don't have access to every implementation...

-- Martin