danielmarjamaki added a comment. In https://reviews.llvm.org/D28278#677905, @zaks.anna wrote:
> 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. I don't know.. maybe I can avoid some false positive. Maybe if the left operand seems to be out-of-bounds and the right operand is uninitialized maybe it would be better to complain about the right operand. It is definitely an option for me to have this checker produce more precise error messages. I believe that will solve my problems. Repository: rL LLVM https://reviews.llvm.org/D28278 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
