[Mlir-commits] [mlir] 2118721 - [MLIR] [NFC] Add static assert to subclass AbstractSparseLattice (#162547)

[llvmlistbot at llvm.org]

Author: Jasmine Tang
Date: 2025-10-12T21:19:10-07:00
New Revision: 211872176514f7f8e7329dff6747d33c4d9406b4

URL: https://github.com/llvm/llvm-project/commit/211872176514f7f8e7329dff6747d33c4d9406b4
DIFF: https://github.com/llvm/llvm-project/commit/211872176514f7f8e7329dff6747d33c4d9406b4.diff

LOG: [MLIR] [NFC] Add static assert to subclass AbstractSparseLattice (#162547)

SparseForwardDataFlowAnalysis, with the comments specifying that StateT
must be subclassing AbstractSparseLattice, also places a static assert
in the class itself.

This commit adds the same missing assert for
SparseBackwardDataFlowAnalysis.

Added: 
    

Modified: 
    mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h

Removed: 
    


################################################################################
diff  --git a/mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h b/mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h
index 3f8874d02afad..1a33ecf8b5aa9 100644
--- a/mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h
+++ b/mlir/include/mlir/Analysis/DataFlow/SparseAnalysis.h
@@ -518,6 +518,10 @@ class AbstractSparseBackwardDataFlowAnalysis : public DataFlowAnalysis {
 template <typename StateT>
 class SparseBackwardDataFlowAnalysis
     : public AbstractSparseBackwardDataFlowAnalysis {
+  static_assert(
+      std::is_base_of<AbstractSparseLattice, StateT>::value,
+      "analysis state class expected to subclass AbstractSparseLattice");
+
 public:
   explicit SparseBackwardDataFlowAnalysis(DataFlowSolver &solver,
                                           SymbolTableCollection &symbolTable)