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

    <tr>
        <th>Summary</th>
        <td>
            Please diagnose on _Noreturn calls within [[gnu::const]], [[gnu::pure]], [[reproducible]], [[unsequenced]]
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          alejandro-colomar
      </td>
    </tr>
</table>

<pre>
    Please diagnose on _Noreturn calls within the body of a function with one of these attributes: [[gnu::const]], [[gnu::pure]], [[reproducible]], [[unsequenced]].

This is UB, and could be easily diagnosed.  I'd put it in -Wextra for the moment, to be careful.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJy8kkGP2yAQhX8NvoxikbFxkgOHpKtIvVQ9tOqxwjCxWWFIYdjt_vvK7qqVtqdeVkJC4uM98XhjSvFTJNJCXYR6aEzlOWVtAj2a6HLa2RTSYnIzJveiPwcyhcB5M8VUCFKE759SJq45gjUhFHj2PPsIPBOsEkg3MHCr0bJPcaOQIq3HPFMhMMzZj5WpiO4M2ysuU6yiO4vubFMsLNTDuvDDW3qvmd7CTPecXLV-DP-wGgv9qBQtud-oFfIs5PnL7Av4Al8v610THdhUg4ORgEzx4eVPYNcCfBR4cHCvDJ7BR9h9o5-cDdxS3lIvaaHIqxOn1cKaTLca2sbpzp26k2lI7w-9HHq171Uza3ns3WhIOrm3qqOjGkjaEaWzB4NKDo3XKFFJxIM8doiqHU5uP1hl7DD2gzmeRC9pMT60ITwtbcpT40uppPd4kohNMCOFsjWMGOkZNioQ18KzXkW7sU5F9DL4wuWvDXsO9B-tv299Tc1Bz8z3dXQEXgVeJ89zHVubFoHXNcbrtrvn9EiWBV638EXg9fV3njT-CgAA__94tPOa">