[Bug target/14899] [4.0 Regression] wrong code due to change in compatibility rules for vector types

[pinskia at gcc dot gnu dot org]

------- Comment #16 from pinskia at gcc dot gnu dot org  2006-12-14 17:12 -------
I think this patch is incorrect in saying vector unsigned int and vector signed
int are compatiable.  They are not.
In fact JSM's comment summaries up what __builtin_types_compatible_p means:
compatible != convertiable.
I think we should have committed the patch in comment #5 and fixed up the
testsuite instead.

This has now become a mess, it causes lots of bugs in both the back-end (PR
30210 for an example) and accepting of invalid code.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14899