NoQ added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Checkers/cert/StrChecker.cpp:279
+ if (PredNode->getState() == ErrorNode->getState()) {
+ IsFalsePositiveFound = true;
+ PR->markInvalid(nullptr, nullptr);
----------------
Why is this a false positive?
You're bringing in a completely brand-new machinery here, could you explain how
it works and why do you need it?
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D70411/new/
https://reviews.llvm.org/D70411
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
