muy buena tu explicación final. aunque algunos compiladores modernos usan vla, osea los vectores que consideramos estáticos son implícitamente dinámicos.
http://en.wikipedia.org/wiki/Variable-length_array
http://gcc.gnu.org/onlinedocs/gcc/Variable-Length.html
http://en.wikipedia.org/wiki/Variable-length_array
http://gcc.gnu.org/onlinedocs/gcc/Variable-Length.html