SDCC (when using --std-sdccxx) supports parameter forward declarations for s single parameter of integer type. The supported functionality is thus a subset of the GCC extension:
void f(size_t n; char a[static n], size_t n);