[clang] [Clang] Improve subsumption. (PR #132849)

Aaron Ballman via cfe-commits cfe-commits at lists.llvm.org
Thu Mar 27 06:57:34 PDT 2025


================
@@ -170,102 +132,112 @@ struct alignas(ConstraintAlignment) FoldExpandedConstraint {
                          const Expr *Pattern)
       : Kind(K), Constraint(std::move(C)), Pattern(Pattern) {};
 
-  template <typename AtomicSubsumptionEvaluator>
-  bool subsumes(const FoldExpandedConstraint &Other,
-                const AtomicSubsumptionEvaluator &E) const;
-
   static bool AreCompatibleForSubsumption(const FoldExpandedConstraint &A,
                                           const FoldExpandedConstraint &B);
+
+  llvm::FoldingSetNodeID ProfileForSubsumption() const;
----------------
AaronBallman wrote:

Do we want to retain the profiling information? Actually, should we be adding some time trace report support to this so users can track how much time is spent on subsumption in their headers?

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


More information about the cfe-commits mailing list