https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98556
--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> --- The result of the subtraction is supposed to be an integer type, and is instead an enum based on that underlying type? Maybe the verification code needs tweaking to allow that.
