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

    <tr>
        <th>Summary</th>
        <td>
            [clang-tidy]: potential memory leak when init struct field during construction
        </td>
    </tr>

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

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

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

<pre>
    # To reproduce:

check out the minimal reproducer example at:
https://github.com/igagis/clang-tidy-test/blob/master/src/main.cpp

the relevant part of the code is:
```cpp
struct result{
 std::shared_ptr<std::string> p;
    bool some_other_field;
};

result potential_memory_leak_2(bool arg){
 result ret{.p = std::make_shared<std::string>("Hello world!")};

 if(arg){
        throw std::runtime_error("error");
    }

 return ret;
}
```

run `clang-tidy` with all checks on.

Or just refer to the minimal reproducer's CI run:
https://github.com/igagis/clang-tidy-test/actions/runs/4231046017/jobs/7349082519

# Expected result:
No false-positive potential memory leaks found

# Actual result:
The following error is reported by `clang-tidy`:
```
src/main.cpp:26:1: error: Potential leak of memory pointed to by field '_M_pi' [clang-analyzer-cplusplus.NewDeleteLeaks,-warnings-as-errors]
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyklE2TozYQhn-NuHTZBZL58IGDZ7yupCrZ5LB3SogGNCMkSh_jdX59SuCxPbObXHZqDELQ_T5qvS3unBw0Yk3yJ5IfEx78aGwtBz5Il7Smu9SEMvhmwOJsTRcEEnYg6ZGk16sYUbyCCR78iDBJLSeu7l9bwO98mhUC97fI0fvZxSd6IvQ0SD-GdivMROhpVSb0JBTXw8bL7rLx6Dyhp1aZltDTxJ1HS-jJWbE8Sr0V8_zIFEksKnzj2sPMrQfTL3jCdAjS3ZdQpOv_LYHzNggPFl1QnpRP6yw438UgdnAjt9g1s7eEPd9nvZV6IOwLzIS9xwBAa4wCZyZsjB_RNr1E1d2-IOXxPl6uqyzMxqP2kqtmwsnYS6OQvzaU0GpJyO1A6P4Od42yGIG3MxB2vANP_BWblfqnxIRWhNLfUCkDZ2NVR2hGKF0EPuOB7AmtPstf__xozfmua4P2csIGrTV2FbkOl9yPVYpCjyoWfbB6Wc9jqT7u2IeyBQ1xE2-WIUUKZ-lH4ErB4lAHRm8fY_6y8BJcrFqPFrz5D_sSWjp4_h1s0L9oXy68NDq-s2G57SjL0l2RZiWhpxfTxrmS7fZpRfNs_8gaW_DL9xmFx-7dmu8wXw30XDnczMZJL9_w7h5Y3QPRPQ56E3T3OetB-LCs90PObyNCb5QyZ6kHWLYNpItVMTYitJcfyv1jS1376WOTsgMtCDtkhB3WvHHw9w04ksZevYLPRuqo502UXJoHCC2bP5tZEloCyZ9WCK65uvyDdiNmFVz8bb_i-YgKPf4RV0_o8-bMrZZ6cBvuNou2I_lnVyVdzbo92_ME66woi32ZV1mZjHVfsjJjacVEme72fUv7XcbLkgme90XVikTWNKUspTTLUlbk5bbtq33e04qKvMpampFdihOXaqvU27Q1dkikcwHrIq32RaJ4i8otxzClGs-wvIzNkh8TW8eYTRsGR3apks67exYvvVrO74f9yI-xrj81ApxH1CC19HA969a6diEeCCCMXqel0Umwqv4fs0eE620zW_OCIvp8AY9eXhb2bwAAAP__vKb5KA">