commit c36712e5a1c7d0be6a9fe71c18cb9bca9a173b1c
author Florian Mayer <fmayer@google.com> Mon Dec 08 19:28:39 2025
committer Florian Mayer <fmayer@google.com> Mon Dec 08 19:28:39 2025
tree a148f06592ee73fb60feaaeafffa84f7efaf9a23
parent a080134bbcd30a158d33a6aa2b92c204c849bc18

[𝘀𝗽𝗿] changes introduced through rebase

Created using spr 1.3.7

[skip ci]

clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp

diff --git a/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp b/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp
index 3e1e00a..0bb8da5 100644
--- a/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp
+++ b/clang/lib/Analysis/FlowSensitive/Models/UncheckedStatusOrAccessModel.cpp
@@ -825,11 +825,10 @@
                                      RecordStorageLocation *RecordLoc,
                                      const MatchFinder::MatchResult &Result,
                                      LatticeTransferState &State) {
-  if (RecordLoc == nullptr)
-    return;
-  State.Lattice.clearConstMethodReturnValues(*RecordLoc);
-  State.Lattice.clearConstMethodReturnStorageLocations(*RecordLoc);
-
+  if (RecordLoc) {
+    State.Lattice.clearConstMethodReturnValues(*RecordLoc);
+    State.Lattice.clearConstMethodReturnStorageLocations(*RecordLoc);
+  }
   if (isStatusOrType(Expr->getType()))
     transferStatusOrReturningCall(Expr, State);
 }