On Wed, Jan 07, 2015 at 11:56:58PM -0500, Jason Merrill wrote: > My recent patch to remove the C++ VLA semantics that didn't make it into > C++14 missed a couple of spots. While I was looking at that I noticed that > we weren't sanitizing VLA initialization, which we ought to do; this patch > implements that. Marek, does my choice of VLA|BOUNDS make sense to you?
I think that should be just BOUNDS. VLA sanitization will still catch the case if the size of a VLA is not positive, e.g. int i = -1; int a[i] = { 1, 2, 3}; Marek