<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/116574>116574</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [flang] missing diagnostic for bind(c) derived type with noninteroperable component
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            bug,
            flang:frontend
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          kkwli
      </td>
    </tr>
</table>

<pre>
    ```fortran
type dt0
  real :: x
end type
type, bind(c) :: xdt
  type(dt0) :: y
end type
end
```

R726: "Each component of a derived type with the BIND attribute shall be a nonpointer, nonallocatable data component with interoperable type and type parameters."
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxsks-Omz4Qx5_GXEYbmSE4yYFDdvOL9Lv00DcY8ADuOjayh93u21dAuumqlRAw9nc-85dydkNgblT9rOpLQbOMMTWvr-_eFW20H40yenv6mCRRUPqi9Fk-JgYrerMAEpMHVZ1VdYaf2yEHC4vs4aDwBVoXrMJjp_D0qbfyG7Opjgv4cf_xLx4Hu_185nc31_f3A5rFVSH-R90IXbxNMXAQiD0QWE7ujTccvDsZQUaG5_-_XYBEkmtnYcgjeQ8tA0GIYYouCKelhBADeR87Emo9gyWhPwKsuFUbJ06rYg1D9_RhokQ3Fk55pxAL21T2VJ2o4KY8VOVJ68pgMTaHsj52Jffdvi-NqY0pa1MdNJuqrQ9IbeEa1Lgvy_KoKzQad9razhBWzHtjat2qveYbOb_z_u22i2koXM4zN2Vp6sO-8NSyz-vgEdt5UIgKXxRi7ykMqjr3KQZZ-oy4rEZqFs5TOw9Z7bV3WfKDLE78ukSbc32Bm8vZhQGsoyHELK6DPqYv8_97DCGGr6377GsxJ9-MIlNetgKvCq-Dk3Fud128Kbwumdw_T1OKP7gThde14Kzweq_5rcFfAQAA___hdexN">