<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">