__builtin_types_compatible_p does not take in account noreturn attributes #7325
Description
| Bugzilla Link | 6953 |
| Version | trunk |
| OS | Linux |
| CC | @efriedma-quic |
Extended Description
This code compiles in gcc, but not in clang due to different result.
The two types are considered incompatible by gcc and compatible by clang.
typedef void (*f1)();
typedef void (*f2)() __attribute__ ((noreturn));
int p() {
int a[1 - __builtin_types_compatible_p(f1, f2) * 2];
}