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

    <tr>
        <th>Summary</th>
        <td>
            [flang] Non-volatile pointer can point to volatile target
        </td>
    </tr>

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

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

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

<pre>
    From offline discussion, this looks to be a bug. Flang compiles this with no warnings.

```
integer,pointer::p
integer,target,volatile::t
p=>t
end
```

> 8.5.20 VOLATILE attribute
> 15 A pointer should have the VOLATILE attribute if its target has the VOLATILE attribute.

</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJx0UlurnDAQ_jXxZTgSE68PPtjdFQqH9qX0PeqoaWMiybiH_vuSdXtKSwsDGZhbvosKQS8WsWXFB1ZcE3XQ6nyrwop-U3bUFo3RyeCmH23v3QZuno22CJMO4xGCdpaJC9CqAxjnvgcgBwOCguFYUuiNsguMbtu1wXC2vWlawTp4U95qu4SU8S5GyZ_BO20JF_RMXHYXc89kx2S3_1Ei5RckJi53ZxRpg2cTMd7tTF6ZvMUU7fTX8hjyBnVapILD18-v3ZePrzdQRF4PB-GznhXQwfM8hNUdZoJV3RFoxX9MgZ5BU4DzV7Cq8J_GCDeZWjk1slEJtlmV55WUTVMla8unWWIuByynuprGnM9D1uCs6qGa61qpRLeCi4LnWZGVWVNU6VjKJiubBmU5Fs1Ys5zjprRJjblvqfNLokM4sM1kUfMiMWpAEx5qCzFHdZjsZu8sRaKEiB7wbZx9GY4lsJwbHSj83kaazMMt53BxhU_OvvyS4J2wUdkzj354r57kJIc37Uq0h6iY6JnoF03rMaSj25jo463n87J79w1HYqJ_wAhM9E8k91b8DAAA__9nfuDz">