------- Additional Comments From jsm28 at gcc dot gnu dot org 2005-05-01 11:32 ------- It should be possible to use the existing machinery in the C++ front end which diagnoses jumps into the scope of initialized or non-POD variables to diagnose jumps into VLA or VM scope (treating VLA or VM declarations as a special case of being initialized; after all, the artificial variable with the array size is initialized by the declaration).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21113