Por que o gcc permite declarações externas do tipo void? Isso é uma extensão ou padrão C? Existem usos aceitáveis ​​para isso?

Eu estou supondo que é uma extensão, mas eu não acho mencionado em:
http://gcc.gnu.org/onlinedocs/gcc-4.3.6/gcc/C-Extensions.html

<code>$ cat extern_void.c
extern void foo; /* ok in gcc 4.3, not ok in Visual Studio 2008 */
void* get_foo_ptr(void) { return &foo; }

$ gcc -c extern_void.c # no compile error

$ gcc --version | head -n 1
gcc (Debian 4.3.2-1.1) 4.3.2
</code>

Definir foo como tipo void é, obviamente, um erro de compilação:

<code>$ gcc -c -Dextern= extern_void.c
extern_void.c:1: error: storage size of ‘foo’ isn’t known
</code>

Para comparação, o Visual Studio 2008 dá um erro na declaração externa:

<code>$ cl /c extern_void.c 
Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 15.00.21022.08 for 80x86
Copyright (C) Microsoft Corporation.  All rights reserved.

extern_void.c
extern_void.c(1) : error C2182: 'foo' : illegal use of type 'void'
</code>