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

    <tr>
        <th>Summary</th>
        <td>
            [clang][LifetimeSafety] False finding for loan in a loop
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang:temporal-safety
      </td>
    </tr>

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

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

<pre>
    ```cpp
struct MyObj {
    int id;
    ~MyObj() {}
};

void foo(bool cond) {
    for (; cond;) {
        MyObj a;
        MyObj* p;
        if (cond) {
 p = &a; // error! Bad. False positive
        }
        (void)*p; // note: later used here.
    }
}
```

https://godbolt.org/z/6nex6jesz
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxcks2OpSAQhZ-m3FTaYCH-LFxoblzNZBbzBCjopcMVA3jT3Yt59ol6-9cYDdTxK-twZAhmXrRuQHQgLonc4tX5ZgsvtUgGp14bKNh5j-sKrA3Rb2PE369_hmeEsgPWIiKaJaJRwN_X_w4BUAVUH7LyAqzdn4cEWHt3RuHkHFA1OGdxdIt6F5-MyXncCbw7i7z7Xt-v8z_kZ-OPTaAW1-_7Ztp5PxqtCPyCQMUOQaAeqEftvfNAGXZSpdhLGzSuLpho7voL8JzqY0XVPhRQDdSuX2iLixp4i1ZG7XELWuFVe50-vv30hrUfbp8mXWNcA_D2BM1ODc7G1PkZqH8D6otFvxTPOrwlquGq5rVMdJOVomSZyHKRXBuRDaWoWF5WFWVlzdiQVZmSPNs1pWKJaYiRYDXLszoXuUgrzopyHPhU5yPLVQU50zdpbGrt_bb3TkwIm24yUdSiTqwctA1HfohGK5cZeBv1bXVe2qcgJx1fgWgPl292xNOwzQFyZk2I4RMaTbRHDE-GuIDofplJR3PTf0-KuDyOYjKLMst8JMQ6uaBZUKJ1bk02b5sfrpl43YZ0dDegfm_3eD2t3j3rMQL1x0ABqH_MdG_ofwAAAP__PzngjA">