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

    <tr>
        <th>Summary</th>
        <td>
            Clang Static Analyzer incorrectly analyzes overloaded arrow operator
        </td>
    </tr>

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

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

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

<pre>
    Here is an example
```
#include <iostream>

template<typename T>
struct let {
  T* ptr;
 let(T* ptr): ptr(ptr) {}
  let(let& other): ptr(other.ptr){
 other.ptr = nullptr;
  }
  ~let(){
    delete ptr;
  }
  T* operator->(){
    return ptr;
  }
};

struct X {
    int field;
};
int main(){
    let obj = new X{.field = 123};
    let obj2 = obj;
    std::cout << obj2->field;
    std::cout << obj->field;
}
```
Clang Static Analyzer doesn't give any warnings (where is obviously a null deference error) but if I change line "obj->field" to "obj.ptr->field" I'll get the expected error ([godbolt](https://godbolt.org/z/vEs67M544))
```
<source>:26:18: warning: Access to field 'field' results in a dereference of a null pointer (loaded from field 'ptr') [core.NullDereference]
    std::cout << obj.ptr->field;
                 ^~~~~~~~~~~~~~
1 warning generated.
Compiler returned: 0
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyEVMmSozgQ_Rr5klEOkFgPHLyUY_owc5k-9FVAGqtCSISUuMp96G-fEMYL01UzhAOLXF5uLyW9V51BrFi6Zel-JUc6WVd91J35WNW2vVR_oENQHqQB_JD9oJFFexZtWBbNv-snF8o0emwRmNgp68mh7Jl4ndXTm7AftCRkYkeXAY3sEb7fbTy5sSHQSMDy7VUG8J3xDQzkmLiJNBLjxV3OSybmU3H9ntzz_Q3haj-9M7B0wqXPJFnPSPe4dykwsQczar3IAZ7wf10DLNwBoEWNhPCl21SAHdBJsu4ldOF3DIc0OvMVRjjcxIsW_oAFijIER4W6fVg_eQZtL5X5JHwYha3fri3Ad_jB8u16QppEMRfPQE8efNLb-m2h9NQysWFi09iRAk2Y2E3Wofplgv9l_rv1oyNLUu60NB38TZJUAxsj9eUnOmgtesN4TtCpM4I0F3iXzijTeWC8eD_NjLf1WdnR6wvIiQDQ4hEdmgYBnbMT0-qRQB3hGzQnaToErQwC43yRJudAdpYGSi003xjPtYYOCeiEgB8DNoTtNUTIh6Xbzra11cTSPePFiWjwoTH8wPhhVq2t6xg__GT8cH71Wf5nmiRhmrz8fFvFztvRNRhoJzY8Y2ITF2En5k6E46Zp0PuQ-jxyns9Z5-DQj5o8KAMSWnT3ztjjrVuDVYZwKkFb2WILR2f7B9a0cfm0rum2sQ7Xf41a7x9Yodz_JcOyn8_0WTwsff31_FzN4lu50KEJi4jtemaO7Qel0c0biCE4RJ_2ctVWoi1FKVdYxVlepDxJk2R1qrKyTbOMy2NdCI5SHuMsTYsobmJZJFGUrFTFIy4iEcdRkZRRsuYiKcpjXEdpVDZlXrIkwl4qvdb63IcRr5T3I1ZZLJJ4pWWN2k83N-dhPScl4zxc5K4KPi_12HmWRFp58g8UUqSx-nw7lGmsc9hQ4P1V6MGe0c1DlM7Z9_u9tRqdrv7FSEWnsV43tmf8EELOfy-Ds2_YEOOHKVHP-GEq5J8AAAD___oE6OE">