Verifiable doesn't mean static. You could have VLA with an upper bound and still...

		carlmr on Oct 29, 2018 \| parent \| context \| favorite \| on: The Linux Kernel Is Now VLA (Variable-Length Array... Verifiable doesn't mean static. You could have VLA with an upper bound and still not violate this rule.