mirror of
https://gitlab.freedesktop.org/wayland/wayland.git
synced 2025-10-31 22:25:25 -04:00
util: Avoid undefined behaviour in for_each_helper
for_each_helper tries to calculate a one-past-the-end pointer for its wl_array input. This is fine when the array has one or more entries, but we initialize arrays by setting wl_array.data to NULL. Pointer arithmetic is only defined when both the pointer operand and the result point to the same allocation, or one-past-the-end of that allocation. As NULL points to no allocation, no pointer arithmetic can be performed on it, not even adding 0, even if the result is never dereferenced. This is caught by clang's ubsan from version 10. Many tests already hit this case, but I added an explicit test for iterating over an empty wl_map. Signed-off-by: Fergus Dall <sidereal@google.com>
This commit is contained in:
parent
ada25fbd52
commit
80164ef300
2 changed files with 25 additions and 6 deletions
|
|
@ -119,3 +119,19 @@ TEST(map_flags)
|
|||
|
||||
wl_map_release(&map);
|
||||
}
|
||||
|
||||
static enum wl_iterator_result never_run(void *element, void *data, uint32_t flags)
|
||||
{
|
||||
assert(0);
|
||||
}
|
||||
|
||||
TEST(map_iter_empty)
|
||||
{
|
||||
struct wl_map map;
|
||||
|
||||
wl_map_init(&map, WL_MAP_SERVER_SIDE);
|
||||
|
||||
wl_map_for_each(&map, never_run, NULL);
|
||||
|
||||
wl_map_release(&map);
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue