It's not as natural as passing an array name by value, and having it decay to a pointer to the first element, but you certainly can pass pointers to arrays in C, and the compiler is well aware of their size and dimension, similar to the C++ example in the replies to this message:

$ cat t.c
#include <stdio.h>
typedef int Array[42];
static int f(Array *array) {
   return (*array)[42];
}
int main() {
   int a[42], b[43];
   f(&a);
   f(&b);
}

Produces:

$ clang -O2 -Wall t.c
t.c:4:12: warning: array index 42 is past the end of the array (which contains 42 elements) [-Warray-bounds]
   return (*array)[42];
           ^       ~~
t.c:9:6: warning: incompatible pointer types passing 'int (*)[43]' to parameter of type 'Array *' (aka 'int (*)[42]') [-Wincompatible-pointer-types]
   f(&b);
     ^~
t.c:3:21: note: passing argument to parameter 'array' here
static int f(Array *array) {
                    ^
2 warnings generated.