[PATCH] D99344: [Analyzer] Track RValue expressions

Balázs Benics via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Mar 25 08:57:31 PDT 2021


steakhal added a comment.

I really like it. Looks good.
I'm letting someone else accept this as I've not really touched the trackExpression parts.



================
Comment at: clang/include/clang/StaticAnalyzer/Core/BugReporter/BugReporterVisitors.h:119-124
+/// Attempts to add visitors to track an RValue expression back to its point of
+/// origin. Works similarly to trackExpressionValue, but accepts only RValues.
+void trackRValueExpression(const ExplodedNode *N, const Expr *E,
+                           PathSensitiveBugReport &R,
+                           TrackingKind TKind = TrackingKind::Thorough,
+                           bool EnableNullFPSuppression = true);
----------------
It is supposed to be called by the `trackExpressionValue()`.
Why do we expose this function then?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D99344



More information about the cfe-commits mailing list