Hacker News Reader

Comment by dependenttypes | Hacker News Reader

void f(size_t n, int v[n]) is valid C.

Semantically though, the second argument is still just a naked pointer.

That’s why you use the proper declaration of

  void f(size_t n, int (*v)[n])

instead.

Is it? I am pretty sure that v[x] where x >= n is UB.