[clang] [NFC][LifetimeSafety]: Track assignment history within a single CFGBlock (PR #196075)
Utkarsh Saxena via cfe-commits
cfe-commits at lists.llvm.org
Thu May 7 23:48:00 PDT 2026
================
@@ -0,0 +1,40 @@
+//===- AssignmentQuery.cpp - C++ Lifetime Safety Checker --------*- C++ -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// This file implements trackAssignmentHistory.
+//
+//===----------------------------------------------------------------------===//
+
+#include "clang/Analysis/Analyses/LifetimeSafety/AssignmentQuery.h"
+
+namespace clang::lifetimes::internal {
+void trackAssignmentHistory(
+ const FactManager &FactMgr, const LoanPropagationAnalysis &LoanPropagation,
+ llvm::SmallVectorImpl<AssignmentUnit> &AssignmentList,
+ const CFGBlock *StartBlock, OriginID StartOID, const LoanID &EndLoanID) {
----------------
usx95 wrote:
nit: rename EndLoanID to `TargetLoan`.
https://github.com/llvm/llvm-project/pull/196075
More information about the cfe-commits
mailing list