[PATCH] D30489: [analyzer] catch out of bounds for VLA

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

There is an alternative approach idea:

This is not found by ArrayBoundCheckerV2? If no, an alternative approach would be to properly set the constraints on the extent of the VLA's memory region. After that, maybe ArrayBoundCheckerV2 would work automatically on this case. If the extent size is not set for VLAs properly yet, it should be similar to this patch: https://reviews.llvm.org/D24307

@zaks.anna, @dcoughlin WDYT?


Repository:
  rL LLVM

https://reviews.llvm.org/D30489