diff mbox series

[next] smb: smb2pdu.h: Use static_assert() to check struct sizes

Message ID ZrVA1N6Iv0Byb3I7@cute (mailing list archive)
State Mainlined
Commit 5b4f3af39b6588e8de4444d8e1ccf759b40f9414
Headers show
Series [next] smb: smb2pdu.h: Use static_assert() to check struct sizes | expand

Commit Message

Gustavo A. R. Silva Aug. 8, 2024, 10:04 p.m. UTC
Commit 9f9bef9bc5c6 ("smb: smb2pdu.h: Avoid -Wflex-array-member-not-at-end
warnings") introduced tagged `struct create_context_hdr`. We want to
ensure that when new members need to be added to the flexible structure,
they are always included within this tagged struct.

So, we use `static_assert()` to ensure that the memory layout for
both the flexible structure and the tagged struct is the same after
any changes.

Signed-off-by: Gustavo A. R. Silva <gustavoars@kernel.org>
---
 fs/smb/common/smb2pdu.h | 2 ++
 1 file changed, 2 insertions(+)

Comments

Namjae Jeon Aug. 9, 2024, 2:51 a.m. UTC | #1
2024년 8월 9일 (금) 오전 7:04, Gustavo A. R. Silva <gustavoars@kernel.org>님이 작성:
>
> Commit 9f9bef9bc5c6 ("smb: smb2pdu.h: Avoid -Wflex-array-member-not-at-end
> warnings") introduced tagged `struct create_context_hdr`. We want to
> ensure that when new members need to be added to the flexible structure,
> they are always included within this tagged struct.
>
> So, we use `static_assert()` to ensure that the memory layout for
> both the flexible structure and the tagged struct is the same after
> any changes.
>
> Signed-off-by: Gustavo A. R. Silva <gustavoars@kernel.org>
Acked-by: Namjae Jeon <linkinjeon@kernel.org>

Thanks!
Steve French Aug. 9, 2024, 3:50 a.m. UTC | #2
merged into cifs-2.6.git for-next

On Thu, Aug 8, 2024 at 9:51 PM Namjae Jeon <linkinjeon@kernel.org> wrote:
>
> 2024년 8월 9일 (금) 오전 7:04, Gustavo A. R. Silva <gustavoars@kernel.org>님이 작성:
> >
> > Commit 9f9bef9bc5c6 ("smb: smb2pdu.h: Avoid -Wflex-array-member-not-at-end
> > warnings") introduced tagged `struct create_context_hdr`. We want to
> > ensure that when new members need to be added to the flexible structure,
> > they are always included within this tagged struct.
> >
> > So, we use `static_assert()` to ensure that the memory layout for
> > both the flexible structure and the tagged struct is the same after
> > any changes.
> >
> > Signed-off-by: Gustavo A. R. Silva <gustavoars@kernel.org>
> Acked-by: Namjae Jeon <linkinjeon@kernel.org>
>
> Thanks!
>
diff mbox series

Patch

diff --git a/fs/smb/common/smb2pdu.h b/fs/smb/common/smb2pdu.h
index c3ee42188d25..c769f9dbc0b4 100644
--- a/fs/smb/common/smb2pdu.h
+++ b/fs/smb/common/smb2pdu.h
@@ -1216,6 +1216,8 @@  struct create_context {
 	);
 	__u8 Buffer[];
 } __packed;
+static_assert(offsetof(struct create_context, Buffer) == sizeof(struct create_context_hdr),
+	      "struct member likely outside of __struct_group()");
 
 struct smb2_create_req {
 	struct smb2_hdr hdr;