From ebe16e0b20655e82932818dab2f8f6f459b71399 Mon Sep 17 00:00:00 2001 From: Jelte Fennema-Nio Date: Tue, 27 Feb 2024 16:54:46 +0100 Subject: [PATCH v5 4/4] Remove unnecessary NULL termination in config_group_names This has not been needed for more than 20 years (since 9d77708d83ee). Author: Japin Li Reviewed-By: Jelte Fennema-Nio --- src/backend/utils/misc/guc_tables.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/backend/utils/misc/guc_tables.c b/src/backend/utils/misc/guc_tables.c index a63ea042edf..f5dcb5503a6 100644 --- a/src/backend/utils/misc/guc_tables.c +++ b/src/backend/utils/misc/guc_tables.c @@ -715,11 +715,9 @@ const char *const config_group_names[] = [PRESET_OPTIONS] = gettext_noop("Preset Options"), [CUSTOM_OPTIONS] = gettext_noop("Customized Options"), [DEVELOPER_OPTIONS] = gettext_noop("Developer Options"), - /* help_config wants this array to be null-terminated */ - NULL }; -StaticAssertDecl(lengthof(config_group_names) == (DEVELOPER_OPTIONS + 2), +StaticAssertDecl(lengthof(config_group_names) == (DEVELOPER_OPTIONS + 1), "array length mismatch"); /* -- 2.34.1