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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
