[PATCH] D36471: [StaticAnalyzer] Try to calculate arithmetic result when operand has a range of possible values

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

Previous message: [PATCH] D37897: [StaticAnalyzer] Fix ProgramState for static variables that are not written
Next message: [PATCH] D30489: [analyzer] catch out of bounds for VLA
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/D36471

Previous message: [PATCH] D37897: [StaticAnalyzer] Fix ProgramState for static variables that are not written
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