<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/120206>120206</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
-Wreturn-stack-address false positive
</td>
</tr>
<tr>
<th>Labels</th>
<td>
clang:memory-safety
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
hokein
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
hokein
</td>
</tr>
</table>
<pre>
https://gcc.godbolt.org/z/T3PW87TTW
```
struct [[gsl::Pointer]] view {};
struct S {
view s;
};
struct [[gsl::Owner]] Q {
const S& get() const [[clang::lifetimebound]];
};
view g(view b, int c) {
return c > 1 ? Q().get().s : b; // bogus diagnostic on `Q()`.
}
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxskk9vnDAQxT_NcBktMmP-Hjjsdsu1iRIpZ2MM68bgiDEbpZ--YiF_GhVZAg0zv_c0forZDpMxNWQnILr4Z2MnIILsHKklXPxcb7Wo9d1bfQnhhUEegRqgZtA6HnzXehdiPw9AzR-g5lHePZXF4-MTiON6crEfcUQO86IDrmLZaWC3ouTxztspmBmyM2RnvFrzilCcoDiDPK1TiO-DD7cfW2l9br28t_1v4JvSr9fpQ-f-G0v7iQM-AOU4mABUAlV7caNop6Zh4zjbm2BH0_pl6jbep_Q_Pm4OB6Dy9tEC_UA7BdQrfNefTVjmCTWC_IkJgmzwfpOPP4zEjCCP2II84bZ8bP2wMHZWDZPnYDX6CSEX-yjkIv7i58s9RF0tu0pWKjJ1Usg0paoUMrrUlapkXypZtYWmXsq-MoJKlSuTd7JSJrI1CUoTSopECEkyJt2qIq1UVuU6p6SAVJhRWRc7dx3XSESWeTF1QoJEHjnVGsd71N63OZrRz28HVr0Jb3vy5noFHNplYEiFsxz4ExlscKY-PG1rO3BQ-vmgum42zNgrxwZfPNtgryZaZvc9szZcljbWfgRqVub-OrzM_rfRAai5eWagZrd9relvAAAA__9ig-hP">