Fix gcc-10 build with -Werror=array-bounds and dl_list_for_each()

The earlier workaround for UBSAN issues in commit 3b6b3ae581 ("Modify
dl_list_for_each() to not use unaligned access with WPA_TRACE") ended up
using a construction in which the type cast to the containing structure
was compared instead of the struct dl_list pointers. While that worked
around the UBSAN issue, it resulted in a comparison that gcc-10
interprets as being out of bounds for struct dl_list (which it obviously
is since this is to find the start of the containing structure).

Revert that workaround and instead, mark the struct dl_list used within
struct os_alloc_trace to have matching 16 octet alignment as the
containing structure. This is also restoring consistent design for
dl_list_for_each*().

Signed-off-by: Jouni Malinen <j@w1.fi>
This commit is contained in:
Jouni Malinen 2020-12-04 13:45:03 +02:00
parent d215f42538
commit bba926350a
2 changed files with 3 additions and 3 deletions

View file

@ -76,8 +76,8 @@ static inline unsigned int dl_list_len(const struct dl_list *list)
dl_list_entry((list)->prev, type, member)) dl_list_entry((list)->prev, type, member))
#define dl_list_for_each(item, list, type, member) \ #define dl_list_for_each(item, list, type, member) \
for (item = dl_list_first((list), type, member); \ for (item = dl_list_entry((list)->next, type, member); \
item && item != dl_list_entry((list), type, member); \ &item->member != (list); \
item = dl_list_entry(item->member.next, type, member)) item = dl_list_entry(item->member.next, type, member))
#define dl_list_for_each_safe(item, n, list, type, member) \ #define dl_list_for_each_safe(item, n, list, type, member) \

View file

@ -39,7 +39,7 @@ static struct dl_list alloc_list = DL_LIST_HEAD_INIT(alloc_list);
struct os_alloc_trace { struct os_alloc_trace {
unsigned int magic; unsigned int magic;
struct dl_list list; struct dl_list list __attribute__((aligned(16)));
size_t len; size_t len;
WPA_TRACE_INFO WPA_TRACE_INFO
} __attribute__((aligned(16))); } __attribute__((aligned(16)));