[fractalb]

VLA support is mandatory in C23? I'd like to know the rationale behind this decision. Can you provide any references? Thanks.

[veltas]

If I understand right, this is mandatory:

  void example(int n) { printf("%zu", sizeof(int[n])); }
  void example2(int n, int (*a)[n]) { }

This is optional:

  void example3(int n) { int x[n]; }