[PATCH] D78704: [analyzer][NFC] Add unittest for FalsePositiveRefutationBRVisitor

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 23 07:32:17 PDT 2020


martong added inline comments.


================
Comment at: clang/unittests/StaticAnalyzer/FalsePositiveRefutationBRVisitorTest.cpp:55
+
+  bool reachedWithNoContradiction(const CallEvent &, CheckerContext &C,
+                                  ProgramStateRef State) const {
----------------
It this not used in the test?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D78704/new/

https://reviews.llvm.org/D78704





More information about the cfe-commits mailing list