[PATCH] D70411: [analyzer][WIP] StrChecker: 31.c

[Artem Dergachev via Phabricator via cfe-commits]

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