Re: Dispatching callback handed over to C

["Randy Brukardt" <randy@rrsoftware.com>]

"Natasha Kerensikova" <lithiumcat@gmail.com> wrote in message 
news:slrnjnqnng.1lme.lithiumcat@sigil.instinctive.eu...
> On 2012-04-04, Randy Brukardt <randy@rrsoftware.com> wrote:
...
> Now about aliasing, I read somewhere (but can't find anymore where) that
> arguments whose type is tagged is automatically aliased. Is it enough
> aliasing, or should the original object be declared as aliased too?

It probably doesn't hurt to declare the original object as aliased, but as 
always it depends on the compiler. If you're actually passing these to the C 
code, then of course the assumption that the (by-reference) parameters can 
change will cover you in any case. If they're passed some other way, then 
marking them as aliased (or volatile as you noted elsewhere) would be a good 
idea.

                                          Randy.