[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

Previous message: Patch for Bug 30413, including test case
Next message: [PATCH] D30489: [analyzer] catch out of bounds for VLA
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: Patch for Bug 30413, including test case
Next message: [PATCH] D30489: [analyzer] catch out of bounds for VLA
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list