https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97360
--- Comment #15 from Andrew Macleod <amacleod at redhat dot com> --- Well it seems far more incorrect that types_compatible_p () is FALSE for a type and its MIN/MAX value? Whats the point of MIN/MAX if you cant count on them being the right types, or at least conmpatible. And why can we not make that expectation? it seems more natural and wouldn't require a special comment buried back in a build_* routine indicating that something non-obvious may now be true.
