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

Daniel Marjamäki via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Jan 15 00:33:08 PST 2018

Previous message: [PATCH] D36471: [StaticAnalyzer] Try to calculate arithmetic result when operand has a range of possible values
Next message: [PATCH] D39049: [analyzer] Fix wrong calculation of offset in ArrayBoundsV2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

danielmarjamaki abandoned this revision.
danielmarjamaki added a comment.
Herald added subscribers: llvm-commits, a.sidorin, rnkovacs.

I will not continue working on this. Feel free to take over the patch or write a new patch.


Repository:
  rL LLVM

https://reviews.llvm.org/D30489

Previous message: [PATCH] D36471: [StaticAnalyzer] Try to calculate arithmetic result when operand has a range of possible values
Next message: [PATCH] D39049: [analyzer] Fix wrong calculation of offset in ArrayBoundsV2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list