[llvm-branch-commits] [clang] [FlowSensitive] [StatusOr] cache return values for all accessors (PR #179807)
Florian Mayer via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Thu Feb 5 10:19:27 PST 2026
https://github.com/fmayer updated https://github.com/llvm/llvm-project/pull/179807
>From 8750fb676fe70705d681ce8fc77223bb0c29e037 Mon Sep 17 00:00:00 2001
From: Florian Mayer <fmayer at google.com>
Date: Thu, 5 Feb 2026 10:07:47 -0800
Subject: [PATCH] address feedback
Created using spr 1.3.6
---
.../FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp b/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp
index e9aa21ee00c69..7dc3f5872f4d8 100644
--- a/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp
+++ b/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp
@@ -872,7 +872,7 @@ static void transferStatusOrReturningCall(const CallExpr *Expr,
initializeStatusOr(*StatusOrLoc, State.Env);
}
-static bool doHandleConstStatusOrAccessorMemberCall(
+static bool doHandleConstAccessorMemberCall(
const CallExpr *Expr, RecordStorageLocation *RecordLoc,
const MatchFinder::MatchResult &Result, LatticeTransferState &State) {
if (RecordLoc == nullptr)
@@ -898,8 +898,7 @@ static bool doHandleConstStatusOrAccessorMemberCall(
static void handleConstAccessorMemberCall(
const CallExpr *Expr, RecordStorageLocation *RecordLoc,
const MatchFinder::MatchResult &Result, LatticeTransferState &State) {
- if (!doHandleConstStatusOrAccessorMemberCall(Expr, RecordLoc, Result,
- State) &&
+ if (!doHandleConstAccessorMemberCall(Expr, RecordLoc, Result, State) &&
isStatusOrType(Expr->getType()))
transferStatusOrReturningCall(Expr, State);
}
More information about the llvm-branch-commits
mailing list