Implement GNU C extension: two types are compatible if they appear

as a function argument, one of the types is a transparent union type
and the other type is compatible with a union member

llvm-svn: 117243