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

    <tr>
        <th>Summary</th>
        <td>
            [Flang] Missing diagnose on multiple proc-decl when Binding NAME= is present
        </td>
    </tr>

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

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

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

<pre>
    Consider the following code:
```
   interface
      subroutine foo() BIND(C)
      end subroutine
   end interface

   procedure(foo), BIND(C, NAME='myfptr') :: p1, p2, p3
   end
```
Flang currently compiles it successfully, but it violates the following constraint 
```
C1520 (R1512) If proc-language-binding-spec with NAME= is specified, then proc-decl-list shall contain exactly
21 one proc-decl, which shall neither have the POINTER attribute nor be a dummy procedure.
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxsU9tuqzoQ_RrzMkoEAyTwwENKGqkP7Tmqzg_YZgAfGRv50uz8_ZZpdxt1V7JAHs-sWWsu3Hs1GaKO1Q-sPmc8htm67syNIt33M5lM2OHW9dZ4NZCDMBOMVmt7VWYCaQdi5YnlZ5af2CH_ONsVAJQJ5EYu6dMCAD4KZ2NQJgFZhg3DFh6eXs4Mm55he-9LZrjz_3xJ5m_Yn2-rs5KG6Ihhs-G3DPs7_B5eTs-PrDwzPC63cQ2O4TFRSDrKE6xF8llx-5b3KX9UedE81SE6RyboG0i7rEqTBxXARynJ-zFqfUtwIoZkflNW80D-r1oaHxxXJsCPmfqixhwYNq9FXWBi_DRuaneJQuQT7YQygzLTzq8k4arC_EcrKA_JqEZFQ6ISZjLvwQNJvdPKB_Az1zrRCFwZoF9cBn17z40FWENfAQniOis5fwQZUmEmBzN_o03Wv_88vfz3-Ao8BKdEDATGOhAEHIa4LLevNu2_ic2GrhzasuUZdcUxb-rqUBybbO7EoRD5gBXnsqwqagQepTzImsumTidTHeZY5YgF5nlbNvt8xKYchSharLgoC1bltHCl91q_LXvrpkx5H6lrsMYm01yQ9tsiIIo4MUwzwBDHVF9WnkZnTUhzgJhWxXUJZifi5FmVpwr6L-Cggt6WapsPVp_hWXmf2jwoPhnrCayBJeqgVn1XWLimxjy89_G-e6sjTyZk0eluDmH1aVzxwvAyqTBHsZd2YXhJBD5-u9XZ_0kGhpdNpmd42ZT-DgAA__-lVzm-">