https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77278
--- Comment #5 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- One thing we would also have to tackle is GFC_LOGICAL arguments. C only has one bool type, which is (for gcc) equivalent to logical(kind=1). We might just get by with typedef enum { _zero=1, _one=1 } GFC_LOGICAL_4; but what about arguments with other logical types? We might actually need a C extension there, or disable aliasing-based optimization.