Prazek added inline comments.
================
Comment at: lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp:106
if (Optional<PostStmt> P = Succ->getLocationAs<PostStmt>())
+ if (const auto *BO = P->getStmtAs<BinaryOperator>()) {
----------------
malcolm.parsons wrote:
> The check missed this one.
I don't think it is miss if getLocationAs<T> returns Optional<T>, because that
would suggest that it returns T
https://reviews.llvm.org/D27767
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
