[PATCH] D103630: [analyzer] Refactor trackRValueExpression into ExpressionHandler
Kristóf Umann via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jun 14 05:53:40 PDT 2021
Szelethus added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp:2263-2264
Tracker::Tracker(PathSensitiveBugReport &Report) : Report(Report) {
addHighPriorityHandler<DefaultExpressionHandler>();
+ addLowPriorityHandler<PRValueHandler>();
// TODO: split trackExpressionValue and FindLastStoreBRVisitor into handlers
----------------
I checked this commit out, and failed to see how these low/high priority handlers work out in practice. I tried to
* Make the default handler low prio as well
* Make the PRValue high prio
* All other combinations of the those values
* Change the order of adding these handlers
No tests failed. Is there any one patch so far that demonstrates why we need this? A unit test?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D103630/new/
https://reviews.llvm.org/D103630
More information about the cfe-commits
mailing list