------- 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
