------- Comment #17 from bonzini at gnu dot org 2006-12-14 17:41 ------- It was a mess before too. Anyway, you are confusing compatibility with "convertible without added casts".
comptypes needs to recur in order to unbreak Altivec builtins. "vector int" and "vector bool int" for example are different types with the same mode; yet, they must be differentiated by comptypes (at that time, this was done with __builtin_types_compatible_p, while now it is done in resolve_overloaded_builtin) or Altivec does not work. This is *absolutely* not related to PR30210, which looks to me more like a misunderstanding of the low-level Altivec builtins (i.e. those emitted by resolve_overloaded_builtin) by the vectorizer folks. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14899
