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

    <tr>
        <th>Summary</th>
        <td>
            clang-tidy is silent about the terrible problem
        </td>
    </tr>

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

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

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

<pre>
    As you know, `integer overflow` is an undefined behavior and compilers can use optimizations related to this. 
For example:
```c++
x + 1 > x // is always true 
```
But `clang-tidy` is silent even in the obvious case: https://godbolt.org/z/6x5PYch64

I'm sure this has already been discovered, so please redirect to tracked issue



</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxdUslu4zAM_Rr7QjRQnHjJQYd0OgXmNtc5amFsTWUpEOUs_fqhnA5aFJAlkjLJ9x6lo73LI8E9LvAW4rVqfkDVCRcyjpggXjCdPIc7AY5ABViCxZMLaEHjpC4uJo5aMHE-O4-JwJSfCCGes5vdu8ouBoKEXmVOyhHy5GgDlXipxPGV0_Gm5rPHand8xLjXY5mqeS5rjd6ATdhCtfsJxX7ltULyV3UnyGlB-Jb_cJ-XXBgZr8L4lJ29f3Ahhhsy4AUDuMCoGLJmPkuhQAUOTDmfqeBau43R6ujzJqaRvXf-ulv7-4-Zuv1H43X_VTX9DLQkXJnCpArIhMreWTJuZh2ZoivaIjZFYPLckCWyLqHJq0ZJmTeWyxEt-LX6Y69Rbrv2sO-EaJrayp097A6qzi57lJ9Mv9BUOrIOhWTGlJz2COcU-ZjrJXn5janL06I3PFN2vL_8P5445S8jZHcFRmy03TB09SRNK4Q2W9O3gx7M3u4OfasMnk7aYDuc-torjZ5k1fJMm4DXD25NU7UvtZMNMxGDaLa96EWzseaAhgvYHu3QdabaC5yV85uCo4ygTnKFpJeR-NI7yvR5qYjcGBDXdlxfLXmKSfK79EjEk7R81CsCuTL4ByFy-KE">