[llvm-branch-commits] [clang] no-canonicalize (PR #159850)
Utkarsh Saxena via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Fri Sep 19 14:44:20 PDT 2025
https://github.com/usx95 updated https://github.com/llvm/llvm-project/pull/159850
>From 9916bece21522597542492e3209166518b9a5e6d Mon Sep 17 00:00:00 2001
From: Utkarsh Saxena <usx at google.com>
Date: Fri, 19 Sep 2025 21:30:46 +0000
Subject: [PATCH] no-canonicalize
---
clang/lib/Analysis/LifetimeSafety.cpp | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/clang/lib/Analysis/LifetimeSafety.cpp b/clang/lib/Analysis/LifetimeSafety.cpp
index 0dd5716d93fb6..43cab406a9dc3 100644
--- a/clang/lib/Analysis/LifetimeSafety.cpp
+++ b/clang/lib/Analysis/LifetimeSafety.cpp
@@ -966,9 +966,12 @@ using ExpiredLoanMap = llvm::ImmutableMap<LoanID, const ExpireFact *>;
/// An object to hold the factories for immutable collections, ensuring
/// that all created states share the same underlying memory management.
struct LifetimeFactory {
- OriginLoanMap::Factory OriginMapFactory;
- LoanSet::Factory LoanSetFactory;
- ExpiredLoanMap::Factory ExpiredLoanMapFactory;
+ // Avoid canonicalising
+ OriginLoanMap::Factory OriginMapFactory =
+ OriginLoanMap::Factory(/*canonicalize=*/false);
+ LoanSet::Factory LoanSetFactory = LoanSet::Factory(/*canonicalize=*/false);
+ ExpiredLoanMap::Factory ExpiredLoanMapFactory =
+ ExpiredLoanMap::Factory(/*canonicalize=*/false);
};
/// Represents the dataflow lattice for loan propagation.
More information about the llvm-branch-commits
mailing list