Skip to contentSkip to conversation

builtin/config: work around an unsized array forward declaration

PATCH In review Beat Bolli 5 participants 7 messages Jul 5, 2018 – Jul 7, 2018

lore
Share & tools
lore

Beat Bolli

author
#0 lore raw

PATCH 1/1 builtin/config: work around an unsized array forward declaration

As reported here[0], Microsoft Visual Studio 2017.2 and "gcc -pedantic" don't understand the forward declaration of an unsized static array. They insist on an array size:

    d:\git\src\builtin\config.c(70,46): error C2133: 'builtin_config_options': unknown size

The thread [1] explains that this is due to the single-pass nature of old compilers.

To work around this error, introduce the forward-declared function usage_builtin_config() instead that uses the array builtin_config_options only after it has been defined.

Also use this function in all other places where usage_with_options() is called with the same arguments.

[0]: https://github.com/git-for-windows/git/issues/1735
[1]: https://groups.google.com/forum/#!topic/comp.lang.c.moderated/bmiF2xMz51U

Fixes https://github.com/git-for-windows/git/issues/1735

Reported-By Karen Huang (via GitHub)
---
 builtin/config.c | 27 +++++++++++++++------------
 1 file changed, 15 insertions(+), 12 deletions(-)
builtin/config.c +15 -12
index b29d26dede..2c93a289a7 100644
@@ -67,7 +67,7 @@ static int show_origin;
 	{ OPTION_CALLBACK, (s), (l), (v), NULL, (h), PARSE_OPT_NOARG | \
 	PARSE_OPT_NONEG, option_parse_type, (i) }
 
-static struct option builtin_config_options[];
+static NORETURN void usage_builtin_config(void);
 
 static int option_parse_type(const struct option *opt, const char *arg,
 			     int unset)
@@ -111,8 +111,7 @@ static int option_parse_type(const struct option *opt, const char *arg,
 		 * --type=int'.
 		 */
 		error("only one type at a time.");
-		usage_with_options(builtin_config_usage,
-			builtin_config_options);
+		usage_builtin_config();
 	}
 	*to_type = new_type;
 
@@ -157,11 +156,16 @@ static struct option builtin_config_options[] = {
 	OPT_END(),
 };
 
+static NORETURN void usage_builtin_config(void)
+{
+	usage_with_options(builtin_config_usage, builtin_config_options);
+}
+
 static void check_argc(int argc, int min, int max) {
 	if (argc >= min && argc <= max)
 		return;
 	error("wrong number of arguments");
-	usage_with_options(builtin_config_usage, builtin_config_options);
+	usage_builtin_config();
 }
 
 static void show_config_origin(struct strbuf *buf)
@@ -596,7 +600,7 @@ int cmd_config(int argc, const char **argv, const char *prefix)
 	if (use_global_config + use_system_config + use_local_config +
 	    !!given_config_source.file + !!given_config_source.blob > 1) {
 		error("only one config file at a time.");
-		usage_with_options(builtin_config_usage, builtin_config_options);
+		usage_builtin_config();
 	}
 
 	if (use_local_config && nongit)
@@ -660,12 +664,12 @@ int cmd_config(int argc, const char **argv, const char *prefix)
 
 	if ((actions & (ACTION_GET_COLOR|ACTION_GET_COLORBOOL)) && type) {
 		error("--get-color and variable type are incoherent");
-		usage_with_options(builtin_config_usage, builtin_config_options);
+		usage_builtin_config();
 	}
 
 	if (HAS_MULTI_BITS(actions)) {
 		error("only one action at a time.");
-		usage_with_options(builtin_config_usage, builtin_config_options);
+		usage_builtin_config();
 	}
 	if (actions == 0)
 		switch (argc) {
@@ -673,25 +677,24 @@ int cmd_config(int argc, const char **argv, const char *prefix)
 		case 2: actions = ACTION_SET; break;
 		case 3: actions = ACTION_SET_ALL; break;
 		default:
-			usage_with_options(builtin_config_usage, builtin_config_options);
+			usage_builtin_config();
 		}
 	if (omit_values &&
 	    !(actions == ACTION_LIST || actions == ACTION_GET_REGEXP)) {
 		error("--name-only is only applicable to --list or --get-regexp");
-		usage_with_options(builtin_config_usage, builtin_config_options);
+		usage_builtin_config();
 	}
 
 	if (show_origin && !(actions &
 		(ACTION_GET|ACTION_GET_ALL|ACTION_GET_REGEXP|ACTION_LIST))) {
 		error("--show-origin is only applicable to --get, --get-all, "
 			  "--get-regexp, and --list.");
-		usage_with_options(builtin_config_usage, builtin_config_options);
+		usage_builtin_config();
 	}
 
 	if (default_value && !(actions & ACTION_GET)) {
 		error("--default is only applicable to --get");
-		usage_with_options(builtin_config_usage,
-			builtin_config_options);
+		usage_builtin_config();
 	}
 
 	if (actions & PAGING_ACTIONS)
Signature · 1 line
2.15.0.rc1.299.gda03b47c3
#1 lore raw
Quoted 4 lines · Beat Bolli

As reported here[0], Microsoft Visual Studio 2017.2 and "gcc -pedantic" don't understand the forward declaration of an unsized static array. They insist on an array size:

Quoted 8 lines
    d:\git\src\builtin\config.c(70,46): error C2133: 'builtin_config_options': unknown size

The thread [1] explains that this is due to the single-pass nature of old compilers.

To work around this error, introduce the forward-declared function usage_builtin_config() instead that uses the array builtin_config_options only after it has been defined.

Argh, I think that this is my fault (via: fb0dc3bac1 (builtin/config.c:
support --type=<type> as preferred alias for --<type>, 2018-04-18)).

Thank you for the explanation above, and for the patch below. I reviewed it myself, and the fix seems to be appropriate.

Quoted 10 lines

Also use this function in all other places where usage_with_options() is called with the same arguments.

[0]: https://github.com/git-for-windows/git/issues/1735
[1]: https://groups.google.com/forum/#!topic/comp.lang.c.moderated/bmiF2xMz51U

Fixes https://github.com/git-for-windows/git/issues/1735

Reported-By Karen Huang (via GitHub)

Thanks,
Taylor

#2 lore raw
In reply to Beat Bolli
Quoted 8 lines · Beat Bolli

As reported here[0], Microsoft Visual Studio 2017.2 and "gcc -pedantic" don't understand the forward declaration of an unsized static array. They insist on an array size:

    d:\git\src\builtin\config.c(70,46): error C2133: 'builtin_config_options': unknown size

The thread [1] explains that this is due to the single-pass nature of old compilers.

Right, that makes sense.

Quoted 6 lines

To work around this error, introduce the forward-declared function usage_builtin_config() instead that uses the array builtin_config_options only after it has been defined.

Also use this function in all other places where usage_with_options() is called with the same arguments.

Your patch is obviously correct, but I think here there might be an even simpler solution: just bump option_parse_type() below the declaration, since it's the only one that needs it. That hunk is bigger, but the overall diff is simpler, and we don't need to carry that extra wrapper function.

As a general rule for this case (because reordering isn't always an option), I also wonder if we should prefer just introducing a pointer alias:

/* forward declaration is a pointer */
static struct option *builtin_config_options;

/* later, declare the actual storage and its alias */

  static struct option builtin_config_options_storage[] = {
	...

};
static struct option *builtin_config_options = builtin_config_options_storage;

There are occasionally cases where the caller really wants an array and not a pointer, but in practice those are pretty rare.

I have a slight preference for the reordering solution in this case, but any of them would be OK with me.

-Peff

author
#3 lore raw

Hi Peff

Quoted 17 lines · Jeff King
Quoted 8 lines · Beat Bolli

As reported here[0], Microsoft Visual Studio 2017.2 and "gcc -pedantic" don't understand the forward declaration of an unsized static array. They insist on an array size:

    d:\git\src\builtin\config.c(70,46): error C2133: 'builtin_config_options': unknown size

The thread [1] explains that this is due to the single-pass nature of old compilers.

Right, that makes sense.

Quoted 4 lines

To work around this error, introduce the forward-declared function usage_builtin_config() instead that uses the array builtin_config_options only after it has been defined.

Quoted 8 lines
Quoted 2 lines

Also use this function in all other places where usage_with_options() is called with the same arguments.

Your patch is obviously correct, but I think here there might be an even simpler solution: just bump option_parse_type() below the declaration, since it's the only one that needs it. That hunk is bigger, but the overall diff is simpler, and we don't need to carry that extra wrapper function.

That was dscho's first try in the GitHub issue. It doesn't compile because the OPT_CALLBACK* macros in the builtin_config_options declaration inserts a pointer to option_parse_type into the array items. We need at least one forward declaration, and my patch seemed the least intrusive.

Quoted 13 lines

As a general rule for this case (because reordering isn't always an option), I also wonder if we should prefer just introducing a pointer alias:

/* forward declaration is a pointer */
static struct option *builtin_config_options;

/* later, declare the actual storage and its alias */

  static struct option builtin_config_options_storage[] = {
	...

};
static struct option *builtin_config_options = builtin_config_options_storage;

Quoted 7 lines

There are occasionally cases where the caller really wants an array and not a pointer, but in practice those are pretty rare.

I have a slight preference for the reordering solution in this case, but any of them would be OK with me.

-Peff

Regards, Beat

#4 lore raw
Quoted 11 lines · Beat Bolli
Quoted 5 lines

Your patch is obviously correct, but I think here there might be an even simpler solution: just bump option_parse_type() below the declaration, since it's the only one that needs it. That hunk is bigger, but the overall diff is simpler, and we don't need to carry that extra wrapper function.

That was dscho's first try in the GitHub issue. It doesn't compile because the OPT_CALLBACK* macros in the builtin_config_options declaration inserts a pointer to option_parse_type into the array items. We need at least one forward declaration, and my patch seemed the least intrusive.

Ah, right, so it actually is mutually recursive. Forward-declaring option_parse_type() would fix it, along with the reordering. I'm ambivalent between the available options, then; we might as well go with what you posted, then, since it's already done. :)

-Peff

#5 lore raw
Quoted 14 lines · Jeff King
Quoted 11 lines · Beat Bolli
Quoted 5 lines

Your patch is obviously correct, but I think here there might be an even simpler solution: just bump option_parse_type() below the declaration, since it's the only one that needs it. That hunk is bigger, but the overall diff is simpler, and we don't need to carry that extra wrapper function.

That was dscho's first try in the GitHub issue. It doesn't compile because the OPT_CALLBACK* macros in the builtin_config_options declaration inserts a pointer to option_parse_type into the array items. We need at least one forward declaration, and my patch seemed the least intrusive.

Quoted 4 lines

Ah, right, so it actually is mutually recursive. Forward-declaring option_parse_type() would fix it, along with the reordering. I'm ambivalent between the available options, then; we might as well go with what you posted, then, since it's already done. :)

Among three, forward declaration of the function with reordering that nobody has written except for in the brain smells the best, and turning an array to a pointer that points at a separate storage looked the worst. I also am OK with what's already posted, too.

Thanks.

#6 lore raw
Quoted 22 lines · Junio C Hamano
Quoted 14 lines · Jeff King
Quoted 11 lines · Beat Bolli
Quoted 5 lines

Your patch is obviously correct, but I think here there might be an even simpler solution: just bump option_parse_type() below the declaration, since it's the only one that needs it. That hunk is bigger, but the overall diff is simpler, and we don't need to carry that extra wrapper function.

That was dscho's first try in the GitHub issue. It doesn't compile because the OPT_CALLBACK* macros in the builtin_config_options declaration inserts a pointer to option_parse_type into the array items. We need at least one forward declaration, and my patch seemed the least intrusive.

Quoted 4 lines

Ah, right, so it actually is mutually recursive. Forward-declaring option_parse_type() would fix it, along with the reordering. I'm ambivalent between the available options, then; we might as well go with what you posted, then, since it's already done. :)

Quoted 4 lines

Among three, forward declaration of the function with reordering that nobody has written except for in the brain smells the best, and turning an array to a pointer that points at a separate storage looked the worst. I also am OK with what's already posted, too.

I posted the forward declaration of the function on the Git for Windows issue:
https://github.com/git-for-windows/git/issues/1735#issuecomment-402825623

I would consider it the minimal fix. The already posted solution is also OK for me.

It's also possible to use "extern" instead of "static" for the array. It would, however, not be my preferred solution.

-Kim