Szelethus added a comment.
Super high level question: `CheckerManager` knows whether a checker, and I
suspect a checker callback is path sensitive or not, do you think we can
automate this decision (whether the bug report is path sensitive of syntactic)?
For the purposes of clang-tidy, can we say such a thing that if we can't prove
a bug report to be path sensitive, it will not be that?
================
Comment at:
clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.h:56
-class RefCountReport : public BugReport {
+class RefCountReport : public PathSensitiveBugReport {
protected:
----------------
NoQ wrote:
> I'm not pointing any fingers...
Mhm, I can see that :^)
Repository:
rC Clang
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D66572/new/
https://reviews.llvm.org/D66572
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
