[clang] [Analyzer][NFC] Remove redundant function call (PR #75076)

via cfe-commits cfe-commits at lists.llvm.org
Mon Dec 11 14:03:37 PST 2023


================
@@ -2565,21 +2565,24 @@ class PRValueHandler final : public ExpressionHandler {
   using ExpressionHandler::ExpressionHandler;
 
   Tracker::Result handle(const Expr *E, const ExplodedNode *InputNode,
-                         const ExplodedNode *ExprNode,
+                         const ExplodedNode *RVNode,
                          TrackingOptions Opts) override {
-    if (!E->isPRValue())
-      return {};
 
-    const ExplodedNode *RVNode = findNodeForExpression(ExprNode, E);
     if (!RVNode)
       return {};
 
+    assert(RVNode->getStmtForDiagnostics() == E &&
+           "RVNode must be the ExplodedNode for the tracked expression.");
+
+    if (!E->isPRValue())
----------------
isuckatcs wrote:

This should still go first. If `E` is not a `PRValue`, this handler should not act on it at all.

https://github.com/llvm/llvm-project/pull/75076


More information about the cfe-commits mailing list