[PATCH] D30489: [analyzer] catch out of bounds for VLA
Anna Zaks via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Mar 6 10:19:15 PST 2017
zaks.anna requested changes to this revision.
zaks.anna added a comment.
This revision now requires changes to proceed.
Following Gabor's suggestion, we should investigate if ArrayBoundCheckerV2 supports this. If not it's possible that we are hitting the Constraint Solver limitations.
Repository:
rL LLVM
https://reviews.llvm.org/D30489
More information about the cfe-commits
mailing list