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

    <tr>
        <th>Summary</th>
        <td>
            clangsa alpha.cplusplus.IteratorRange unsound on trivial example
        </td>
    </tr>

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

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

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

<pre>
    The [alpha.cplusplus.IteratorRange](https://clang.llvm.org/docs/analyzer/checkers.html#alpha-cplusplus-iteratorrange-c) checker is missing the following trivial example:
```c++
#include <vector>

int main() {
    std::vector<int> v;
 v.erase(v.begin(), v.begin() + 5);
    return 0;
}
```
` v.begin() + 5` is clearly past-the-end iterator.

Whereas, in the following example the bug is reported:
```c++
#include <vector>

int main() {
    std::vector<int> v;
    for (auto &c : v) {
    }
    v.erase(v.begin(), v.begin() + 5);
    return 0;
}
```

```
$ clang++-16 --analyze -Xclang -analyzer-config -Xclang aggressive-binary-operation-simplification=true -Xanalyzer -analyzer-checker=alpha.cplusplus main.cpp
main.cpp:7:24: warning: Iterator incremented behind the past-the-end iterator [alpha.cplusplus.IteratorRange]
    v.erase(v.begin(), v.begin() + 5);
 ^~~~~~~~~~~~~
```

(Same behavior when running via CodeChecker)

I have no clue why for loop is necessary to find the bug.
Maybe it's too trivial and clangsa thinks, the variable is not used and cut by the optimizer?
When executing, both example crash as expected with `Segmentation fault`.

Tested with clang-14 and clang-16:
```
Debian clang version 14.0.6
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin
```
```
Debian clang version 16.0.0 (++20230317013132+08d094a0e457-1~exp1~20230317133238.60)
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzEVs9u4zYTfxr6MpBAkbIsH3xw7DWwh-_y7QLtraCoscSGIgWSku0e8uwFZVmbZNNtD8U2UGzP_-HM_EYU3qvGIO7I-omsjysxhNa6XY_yOdhVZevb7muLQNZPQvetSGWvBx__088BnQjW_V-YBsn6SFjZhtB7wveEnQg7SS1Mk2o9dql1DWGn2kpP2EkYoW9_oIsqLcpndD5tQ6cJ41OMZImRqDmGizESSdgWZhNQHjrlvTINhBbhbLW2l4lyalRCA15F12uM6dAjoXtS0PsjCXuKz53LuDJSDzUC4YcRZbCO8E-zcPpUJkAnlCGsjAmQzWwKAOBDHQPw_cPyoEwg_BOMhD_UxhSd8EhYOaYVNg9HhB3gDQMIe4J1lPBXERyGwRmgC5Nsju8OtJAf-itorJXUKJy-QS98SEKLCZoaHuVNXx_3lxYdCh_TU-ZdbeeaTtxqaKJjh711Aev_vs4AcLYOCCvFECwQVkggfA_jd96WEkbiZ7XnQybLYYLJvVRJVkCSzPiA5NdJBA-GS6Q1Z9UsAtE0Dr1XIyaVMsLdEtvHhiprEq-6XquzkhNJ-DG4Ibp8-Hrt9Y4owo_vID51I5V9f092ofh-Q_ie5bG4F-GMMk38-VgIoIx02KEJWEOFrTL1NDAfjt4_2iz_Rq_I-tPLq78f9YiVX0SHMXUxKuvg0qIBN5h4UBiVgIOt8TBXjW1f236GVowIxoLUA8KlvU0zqa3tI1gMSvReuBsEC-dHYaqhmRH4P3GrEFQgbOMhWLssM2Hq-6B4AaFV5nnCZzQehVOi0ji5twEGj_VdfQhQ3SYd2wfVqbhy-WkBuQG8ohxC7B47QGVDu-BbOuFbEB7w2qOMfbyo0AIp6BdsYmenqYKzGHQgBX2zP76iXwymlJMs_5Z_khXfb4o7ecRKCXNXgxGdjyGyPKVpMXsWrsEQR-1aFr8VedLLRCszXJPGDLNK61DU0NkadVTsrVfXuTXGB6E11kflooiw0-DjS6hS5q8W6t-nV6Q0pTBNXUQwo4xTnm1oxjPOCHuiZU23uaCYrzdJ9oLXPnt5KGWcM16mBV2G6KedcFXveL3lW7HCXVZstpzRktJVu5MZPwtabZg8F2vJBCsZrutzVVW0zDZltVK7e_qMZjmllKasLgrcbrdFvVnzghYkp9gJpZc3_0p5P-CuyNZ5vtKiQu2n2wZjBi8wCQlj8fLhdtEmqYbGk5xq5YP_5iWooHH3AMEPdwYMxtvB1GDN--vAanB69_ae0qjQDlUqbUfYKYabv5Le2d9RBsJOU5Lx7jId4s8AAAD__1Wpy_Y">