Hi Harald,
Thanks for pointing this out! I've also added a few gcc_unreachable() to prevent other potential false positives, see attached.
Just a couple of documentation nits: The documentation says INTEGER or REAL only, but it also works (as an extension) for UNSIGNED. Also, OUT_OF_RANGE is listed as not being implemented in gfortran in the subsection about unsigned numbers. OK if you mention these (or commit as-is and the documentation fixes can be done later). Best regards, and thanks a lot for the patch! Best regards Thomas