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

    <tr>
        <th>Summary</th>
        <td>
            [clang-tidy] False positive diagnostic for NewDeleteLeaks
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            clang-tidy,
            false-positive
      </td>
    </tr>

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

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

<pre>
    Reproducer:

```C++
#include <vector>
#include <memory>

void RuleParseCommon() { std::vector{std::make_shared<int>()}; }
```

Reproducer reduced by cvise:

```C++
namespace std {
template <class E> struct initializer_list {
  const E *begin;
  const E *end;
};
template <typename _Tp> struct vector {
  vector(initializer_list<_Tp>);
};
struct _Sp_counted_base {};
struct __shared_count {
  __shared_count(int, int) {
    auto __pi = new _Sp_counted_base;
    _M_pi = __pi;
  }
  ~__shared_count();
 _Sp_counted_base *_M_pi;
};
int _M_ptr;
struct __shared_ptr {
  template <typename _Alloc>
  __shared_ptr(_Alloc __tag) : _M_refcount(_M_ptr, __tag) {}
  __shared_count _M_refcount;
};
struct shared_ptr : __shared_ptr {
 shared_ptr(int __tag) : __shared_ptr(__tag) {}
};
int allocate_shared___a;
shared_ptr allocate_shared() { return allocate_shared___a; }
shared_ptr make_shared() { return allocate_shared(); }
} // namespace std
using std::vector;

void RuleParseCommon() { vector{std::make_shared()}; }
```

Command:

```
clang-tidy test.cc -checks='clang-analyzer-cplusplus.NewDeleteLeaks' -- -std=gnu++20
```

we got:

```
Potential leak of memory pointed to by field '_M_pi' [clang-analyzer-cplusplus.NewDeleteLeaks]
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyMVUuP6jYU_jVmcwTK2ITAIosAw6qtrm676C5ynJPgjmOntsOIu-hvr5yER4DeqRRkyY_vZZ8Dd07WGjEl8ZbE-xnv_NHYdHfsuP5b_tltZoUpz-l3bK0pO4GWsIxE_beKhm9H6DZ8UUYok1qorkQgbHdC4Y0l7P1ppcHG2PO4EmUnI0v43in8xq3DnWkaowldE7oBkmzB-TKQsmwETLbXmYZ_YO6O3GJJ2E5qHzD7kyTZE7aFMNxJHfhuZsBiGEsoziBO0uHP3GneoGu5wKAoKCNR5rFpFfe9K6G4c_BO2Ds4bzvhQWrpJVfyB9pcSefHQwDCaOfhHQjNCqylJuxpHnU5zA5OHrj8ucWgB_I_2jvCIaErzRgYXT8KIWw3HAxJTVlGpPz3Nhem0x7LvOAOe8zHPWP0w8Yr63S6Z_eE7qAfNtdtALzzBvK8lUDYHjR-PrFecgHIf73sCwcu88P1AvzzxHk19sIJzXq0B-NS-57F29cmW38L9vVVZEoZMbxqmJwjdD0sQp57XvcpsCywWawuikduurvbNGT-HOrk6Mv7uxcdqF64mOjr3U_EPeh_0jQJjgd33F-KMc9zPsq50T7suatwi76z-j9Axku-A7qv-q9Ark8BrqqB0AOhB5jUM4myzkldP3WbId0vm9TPe9OXLSngcV0-tx8SZUJxXc-9LM_g0fmFEDAXRxQfjrA9ocmwzjVX5x9o56JVnQu_xW_4uUeFHn9B_uEITWA-h3kvcF_rbmhsNHpW84lQG_9SzDfjUYdeAgr5B5gKhmYOrZGhxMCb0EwriaoEQpOh0mgCJN7-X6HxJKBZmbJywzZ8hulbwlbLZLmibHZM2YYny9UqoSLmtCo2PK5owd_Wq0Is42S1nsmURjSO3t6iiEZsyRYFlglbV3G0qthqs6rIMsKGS7VQ6tQsjK1n0rkO0zdKl1E8U7xA5fp_Rkpvt0AoJXRHKK24cjhvjZNenjBMx_uZTQPYvOhqR5ZRaLbuBu-lV_1f7R1avIdDAIILEJSS19o4LwVUxsI0nVlnVXr0vnXhfvqXXEt_7IqFMA2hh8A1DvPWmr9QeEIPvS9H6GG0dkrpvwEAAP__ovt4cQ">