zaks.anna added a comment. > Maybe, I should add a check that `a, b, n' are positive.
> So, in this case static analyzer can choose to be strict and reject false > positives. What would this buy us? Does the checker warn on underflow? > If a' might overflow, then in this case we can emit warning stating that the > overflow is caused because a' might overflow. I see your point now! I think we should improve the diagnostic that is produced in this case! http://reviews.llvm.org/D9924 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
