diff --git a/render/vulkan/vulkan.c b/render/vulkan/vulkan.c index 9454ad801..78bc25941 100644 --- a/render/vulkan/vulkan.c +++ b/render/vulkan/vulkan.c @@ -604,7 +604,7 @@ struct wlr_vk_device *vulkan_device_create(struct wlr_vk_instance *ini, .ppEnabledExtensionNames = extensions, }; - assert(extensions_len < sizeof(extensions) / sizeof(extensions[0])); + assert(extensions_len <= sizeof(extensions) / sizeof(extensions[0])); res = vkCreateDevice(phdev, &dev_info, NULL, &dev->dev); diff --git a/xwayland/server.c b/xwayland/server.c index 0f3956fcb..417bbe54b 100644 --- a/xwayland/server.c +++ b/xwayland/server.c @@ -98,7 +98,7 @@ noreturn static void exec_xwayland(struct wlr_xwayland_server *server, argv[i++] = NULL; - assert(i < sizeof(argv) / sizeof(argv[0])); + assert(i <= sizeof(argv) / sizeof(argv[0])); char wayland_socket_str[16]; snprintf(wayland_socket_str, sizeof(wayland_socket_str), "%d", server->wl_fd[1]);