Re: Vector types and type conversions

[Robert Dewar <dewar at adacore dot com>]

Andrew Haley wrote:
> Converting a vector of floats (via a cast) to a vector of ints of the
> same size uses a VIEW_CONVERT_EXPR, so the data are simply copied, not
> converted.  This is different from a cast from scalar float to int,
> where a conversion is performed.a

Yes, that's the way C is defined
> > From what I can see of the source, this is deliberate.

I should hope so :-)
  But is this
> behaviour documented anywhere? 

In any book on C, or of course in the C standard.