Even stricter implicit conversions between vectors

Ian Ollmann iano@apple.com
Thu Nov 2 16:20:00 GMT 2006


On Nov 2, 2006, at 5:33 AM, Mark Shinwell wrote:

> Ian Ollmann wrote:
>> stronger type checking seems like a good idea to me in general.
>
> I agree, but I don't really want to break lots of code all at once,
> even if that code is being slightly more slack than it perhaps ought
> to be :-)
>
> Given that no-one has really objected to stronger type-checking here
> _per se_, then I see two ways forward:
>
> 1. Treat this as a regression: fix it and cause errors upon bad
> conversions, but risk breaking code.
>
> 2. Emit a warning in cases of converting "vector signed int" to
> "vector unsigned int", etc., and state that the behaviour will change
> to an error in a later version.

I filed a bug (to the Apple bug queue) when I first noticed the  
relaxation of type checking which essentially asked for #1.
That was of course some time ago. A lot of code has happened between  
then and now.

If you take option #2, that will leave the world with a bunch of code  
that will only compile on GCC ...not that there are that many other  
AltiVec enabled compilers left...  In any case, It seems to me like  
it is a good idea to fix the code while someone still remembers what  
it does.

Ian



More information about the Gcc mailing list