Re: Equivalent of dynamic_cast (downcast) for tagged types

[Maciej Sobczak <see.my.homepage@gmail.com>]

On Jan 28, 6:47 pm, Robert A Duff <bobd...@shell01.TheWorld.com>
wrote:

> Sorry, but AdaCore does not take bug reports from comp.lang.ada.

I knew this will pop up. :-)

You see - if this happened to me, it might as well happen in the
future to anybody else, including their Most Valuable Customer (tm)
and that future might be next year or next week. Silently calling the
wrong operation is not something that I would like to see in a
critical system and I can imagine that the Most Valuable Customer (tm)
can get really pissed if this happens. It is therefore in the best
interest of AdaCore to have the fix ready *before* that time, so they
can prove their excellent support by reacting instantly. Seems like a
good strategy to me.

I don't expect AdaCore to ship updated GPL version out of their
calendar just because I wrote some rant on comp.lang.ada. Far from it
- I anyway appreciate that I get something for free as in free beer.
But if they are proactive in their care about their own business, they
should do the homework before this problem hits them the hard way.

In other words: I, as a person, can have very low priority for them.
But the BUG in their product must have a very high priority, no matter
who is reporting it.

Last but not least: the only reason why I don't submit a separate
bugzilla report for this is that I do not have the minimal
reproducible test case. But I'm willing to provide all necessary
information and assistance on request.

> There seems to be a fairly easy workaround in your case:
> Don't declare an Adjust procedure on limited controlled
> types.

I didn't - and that's why I got Program_Error from the Adjust
operation that is in s_finroo.adb:45.
I have declared Adjust for my own type only as part of my
investigations and in fact this allowed me to gather some interesting
observations that I described already.

BTW - I *never* declare Adjust in normal code, because I never use non-
limited Controlled types.

--
Maciej Sobczak * http://www.inspirel.com