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