From af93434115800f5b7d85eb81cb774db287f1b3b7 Mon Sep 17 00:00:00 2001
From: Thomas Lively <tlively@google.com>
Date: Thu, 9 Nov 2023 23:27:03 +0100
Subject: [NFC] Add explicit deduction guides for CTAD (#6094)

Class template argument deduction (CTAD) is a C++17 feature that allows
variables to be declared with class template types without specifying the
template parameters. Deduction guides are a mechanism by which template authors
can control how the template parameters are inferred when CTAD is used. The
Google style guide prohibits the use of CTAD except where template authors opt
in to supporting it by providing explicit deduction guides. For compatibility
with users adhering to Google style, set the compiler flag to check this
condition and add the necessary deduction guides to make the compiler happy
again.
---
 src/analysis/lattices/inverted.h | 3 +++
 src/analysis/lattices/lift.h     | 3 +++
 src/analysis/lattices/shared.h   | 3 +++
 src/analysis/lattices/stack.h    | 3 +++
 src/analysis/lattices/vector.h   | 3 +++
 src/analysis/monotone-analyzer.h | 4 ++++
 6 files changed, 19 insertions(+)

(limited to 'src/analysis')

diff --git a/src/analysis/lattices/inverted.h b/src/analysis/lattices/inverted.h
index 22e326742..b70e58968 100644
--- a/src/analysis/lattices/inverted.h
+++ b/src/analysis/lattices/inverted.h
@@ -49,6 +49,9 @@ template<FullLattice L> struct Inverted {
   }
 };
 
+// Deduction guide.
+template<typename L> Inverted(L&&) -> Inverted<L>;
+
 #if __cplusplus >= 202002L
 static_assert(Lattice<Inverted<Bool>>);
 #endif
diff --git a/src/analysis/lattices/lift.h b/src/analysis/lattices/lift.h
index ba711ac65..ec0f57967 100644
--- a/src/analysis/lattices/lift.h
+++ b/src/analysis/lattices/lift.h
@@ -74,6 +74,9 @@ template<Lattice L> struct Lift {
   }
 };
 
+// Deduction guide.
+template<typename L> Lift(L&&) -> Lift<L>;
+
 #if __cplusplus >= 202002L
 static_assert(Lattice<Lift<Bool>>);
 #endif
diff --git a/src/analysis/lattices/shared.h b/src/analysis/lattices/shared.h
index e75b895ea..54acf92b4 100644
--- a/src/analysis/lattices/shared.h
+++ b/src/analysis/lattices/shared.h
@@ -118,6 +118,9 @@ template<Lattice L> struct Shared {
   }
 };
 
+// Deduction guide.
+template<typename L> Shared(L&&) -> Shared<L>;
+
 #if __cplusplus >= 202002L
 static_assert(Lattice<Shared<Bool>>);
 #endif // __cplusplus >= 202002L
diff --git a/src/analysis/lattices/stack.h b/src/analysis/lattices/stack.h
index ad71cb1ac..c27965116 100644
--- a/src/analysis/lattices/stack.h
+++ b/src/analysis/lattices/stack.h
@@ -179,6 +179,9 @@ template<Lattice L> struct Stack {
   }
 };
 
+// Deduction guide.
+template<typename L> Stack(L&&) -> Stack<L>;
+
 #if __cplusplus >= 202002L
 static_assert(Lattice<Stack<Bool>>);
 #endif
diff --git a/src/analysis/lattices/vector.h b/src/analysis/lattices/vector.h
index 175ec5e3c..050b0f408 100644
--- a/src/analysis/lattices/vector.h
+++ b/src/analysis/lattices/vector.h
@@ -151,6 +151,9 @@ private:
   }
 };
 
+// Deduction guide.
+template<typename L> Vector(L&&, size_t) -> Vector<L>;
+
 #if __cplusplus >= 202002L
 static_assert(FullLattice<Vector<Bool>>);
 static_assert(Lattice<Vector<Flat<bool>>>);
diff --git a/src/analysis/monotone-analyzer.h b/src/analysis/monotone-analyzer.h
index 5ca8caacc..c2ec7c2b4 100644
--- a/src/analysis/monotone-analyzer.h
+++ b/src/analysis/monotone-analyzer.h
@@ -55,6 +55,10 @@ public:
   void print(std::ostream& os);
 };
 
+// Deduction guide.
+template<typename L, typename TxFn>
+MonotoneCFGAnalyzer(L&, TxFn&, CFG&) -> MonotoneCFGAnalyzer<L, TxFn>;
+
 } // namespace wasm::analysis
 
 #include "monotone-analyzer-impl.h"
-- 
cgit v1.2.3