From 2d7e42cc593b3c99f8eacaaa506194aeb3a5cf85 Mon Sep 17 00:00:00 2001 From: Maria Matejka Date: Wed, 13 Oct 2021 11:33:48 +0200 Subject: [PATCH] Type checking in SKIP_BACK macro --- lib/birdlib.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/birdlib.h b/lib/birdlib.h index 431b7c0d..2e642d38 100644 --- a/lib/birdlib.h +++ b/lib/birdlib.h @@ -16,7 +16,7 @@ struct align_probe { char x; long int y; }; #define OFFSETOF(s, i) ((size_t) &((s *)0)->i) -#define SKIP_BACK(s, i, p) ((s *)((char *)p - OFFSETOF(s, i))) +#define SKIP_BACK(s, i, p) ({ s *_ptr = ((s *)((char *)p - OFFSETOF(s, i))); ASSERT_DIE(&_ptr->i == p); _ptr; }) #define BIRD_ALIGN(s, a) (((s)+a-1)&~(a-1)) #define CPU_STRUCT_ALIGN (sizeof(struct align_probe))