Isn't this easily catchable with static analysis, -Werror -Wall? I've never had a practical problem with this.

Also arrays aren't pointers in C, they decay into pointers. You can see this since sizeof will work differently in the function that instantiates the array versus one that takes in the pointer as a parameter.