martong added inline comments.
================
Comment at:
clang/unittests/StaticAnalyzer/FalsePositiveRefutationBRVisitorTest.cpp:65
+
+ bool reportIfCanBeZero(const CallEvent &Call, CheckerContext &C,
+ ProgramStateRef State) const {
----------------
xazax.hun wrote:
> Maybe `reportIfArgCanBeZero`?
Perhaps a generic `reportIfTrue` would be more useful. For that you must use
another eval function instead of `evalEQ`
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D78704/new/
https://reviews.llvm.org/D78704
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
