What is a type error?

[Chris Smith]

Marshall wrote...
> I am having a hard time with this very broad definition of aliasing.
> Would we also say that a[1+1] and a[2] are aliases? It seems
> to me, above, that we have only a, and with only one variable
> there can be no aliasing.

The problem with this (and with the relational one as well) is that the 
practical problems don't go away by redefining "variable" to mean larger 
collections of values.

> given a 32 bit integer variable x, and offsets i and j (equal as in
> the above example) would you say that
> 
>    x &= (1 << i)
> and
>    x &= (1 << j)
> 
> are aliased expressions for setting a particular bit in x?

I don't know about Joachim, but yes, I would.

-- 
Chris Smith - Lead Software Developer / Technical Trainer
MindIQ Corporation