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

    <tr>
        <th>Summary</th>
        <td>
            Correct docs to say UBSan `unsigned-shift-base` is not actually undefined behaviour
        </td>
    </tr>

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

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

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

<pre>
    `clang/docs/UndefinedBehaviorSanitizer.rst` says:

"-fsanitize=unsigned-shift-base: check that an unsigned left-hand side of a left shift operation doesn’t overflow."

I suggest adding the sentence "Issues caught by this sanitizer are not undefined behavior, but are often unintentional."

According to https://reviews.llvm.org/D86000 it indeed is not UB.

That exact sentence is already present for several other UBSan options that are not actually checking for UB.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxsk81u6zgMhZ9G3hAxFDlR44UXTTMBuu7kAWiJtjWjSIFEp5N5-gu5Sdv7s7EBmaTP-Q6FObsxEHViuxfbQ4UzTzF1mTCcqz7aWye0NB7DKNTRRpOFOp6CpcEFsnua8OpiesPg2P1PqU6ZhZaQ8ZZF8yzkQcjHU6nVkO-FojnMYfmxXeXJDbzqMZNonsFMZP4FnpABAzyKwNPAqwmDhewsQRwAlzNYuiFeKCG7GMBGykH8pcROirZliFdKg4_vtVDqu5xXyPM4UmZAa10YgSeCTIEpGAKh1GvOM2UwOI8TQ38DnlyGh4EEmAhCZJgfMKC_0xDqBfqZl4o4MBUbrgwuAtH_quTZmJg-JESYmC8LOXUU6pjo6ug9195fz3VMJYLDTkspwTG4YIksuLzIOO3r70P_LgDpPzT8ZcplQJ8I7Q0uicoxDDFBpisl9BB5ogSn_RsGiJeiNd9zuDtFwzN6f_vIqAgu7ad9XdmusW3TYkXdWj_pRupWt9XUaUUoe21lI7dmY43eodqaXj1ZomaNtnKdkqqRat2s9aZVbb0ZmrbZtHq922ord4PYSDqj858IKldy6bR8WqvKY08-L6urVKB3WD4WvttDlbrSs-rnMYuN9C7zF8iKHXvqXmJKZBjKXhf6GW93AELLPy2olg_enzB-y39O1Zx893OSo-Np7msTz0Idi4r7a3VJ8R8yLNRx0V6u1-LtRwAAAP__wnoyaQ">