[PATCH] D28278: [StaticAnalyzer] dont show wrong 'garbage value' warning when there is array index out of bounds
Anna Zaks via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Feb 15 14:21:35 PST 2017
zaks.anna added a comment.
Does the code you added detects array out of bounds cases without false positives? Is it an option to just have this checkers produce a more precise error message in the specific case.
A lot of work will probably need to be done to implement a proper array out of bounds checking and no-one is working on that.
Repository:
rL LLVM
https://reviews.llvm.org/D28278
More information about the cfe-commits
mailing list