Попробовал на gcc 4.7.2 "void test(char s[const static 7])" в режиме -std=c99: Я немного наврал про const выше. "const" превращает s в указатель "char* const s", то есть компилятор противится изменению s (s++ вызывает ошибку). "static 7" не имеет никакого действия. Видимо, пока компиляторописатели не озаботятся реализацией такой фичи, это будет просто подсказка для читателей кода.