<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/115347>115347</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Unsafe buffer usage: constructing [[clang::unsafe_buffer_usage]] fields are not warned on
</td>
</tr>
<tr>
<th>Labels</th>
<td>
clang:diagnostics
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
danakj
</td>
</tr>
</table>
<pre>
Similar to https://github.com/llvm/llvm-project/issues/80482 but splitting this off as it's about fields annotated with `[[clang::unsafe_buffer_usage]]`.
Godbolt example: https://godbolt.org/z/9v9EsPej6
```cc
struct S {
[[clang::unsafe_buffer_usage]] int i;
};
class C {
public:
C() : i(1) {} // no error?
C(int j) : i(j) {} // no error?
private:
[[clang::unsafe_buffer_usage]] int i;
};
int main(){
S s = { .i = 1 }; // no error?
s.i = 2; // error ^_^b
S s2(1); // no error?
C c;
C c2(1);
}
```
In the above example only `s.i = 2` causes an unsafe-buffer-usage warning. Constructing a type with `[[unsafe_buffer_usage]]` fields does not produce any warning.
cc: @haoNoQ @ziqingluo-90
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVE2PmzoU_TWXzVUi20AICxb5GJ7e5ulVo65HNhhw6tgUm0wzv74yJJPMLKbTqpJlbHO_ztG5lzunWiNlAekW0n3ER9_Zoai54d8OkbD1uXhUR6X5gN5i533vIN4AK4GVrfLdKJaVPQIrtT5dP4t-sAdZeWClcm6UDli5JsmaoRg9ul4r75Vp0XfKoW0a5A6VB5Y55MKOHhslde2QG2M997LGZ-U7hBWZitxWmps2VBFvRuN4I5_E2DRyeBodbyWk-7BWZAlkD2Qz7__YWljtUf7gx15LiDfvwcwGSzu0wMoXYGV-yh_c__KwusRZkXlV1fzg_DBWHh8Rsu38gp-vD5XxqCC-eEK2v52nvdLcOdzdgvej0KoKYedcO2BrYDkGKArYmk6XbAvZHnHGhMaiHAY7QFxevBAnx5D9cO99-Ix3P6gT9_JWA-LfhBz-H7kyM7Abq4j4iA4h3ocKcammI8U5wsdg3cWa3VtOZgjpwxOkD-JNFnZh8peBd1i9ln-53_neIL7Vzj3cfw36TgbJn-RVl2iNPgel3-peEaz46GToB5zJXczkLiZy8ZkPRpl2iTtrZk2G5uLoz7181zkftcu162orHRrrsR9sPVYSuTm_5nij0CBGhIR03P5nv4TTi_quTKtHu8hJVBdxncc5j2RBs5gSQshqHXVFlWfpSgiZNmsp6DrOWZbQOuEsoaLiTROpghGWUEoymjFKsiVtMiJYTSVrJK2FgITII1d6GaZN6NhomjMFpWmcZJHmQmo3TTTGrsqsFW-NdV5VDhgLo24opmElxtZBQrRy3t0CeuW1LL5OfOHMF858xRus7on-jQa4zrVBTgQHUmWN1kTjoIs_n60X2KeC_QwAAP__ANy0kA">