From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 12 Sep 2019 18:45:17 +0000 (-0700)
Subject: static_assert to enforce this going forward
X-Git-Tag: working-ls180~1064^2~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c05a403dd10cdc847c81baff962068d9b401053a;p=yosys.git

static_assert to enforce this going forward
---

diff --git a/kernel/sigtools.h b/kernel/sigtools.h
index 4e97bb775..094d73941 100644
--- a/kernel/sigtools.h
+++ b/kernel/sigtools.h
@@ -138,6 +138,8 @@ struct SigPool
 template <typename T, class Compare = std::less<T>>
 struct SigSet
 {
+	static_assert(!std::is_pointer<T>::value || !std::is_same<Compare, std::less<T>>::value, "Explicit `Compare' class require for SigSet with pointer-type values!");
+
 	struct bitDef_t : public std::pair<RTLIL::Wire*, int> {
 		bitDef_t() : std::pair<RTLIL::Wire*, int>(NULL, 0) { }
 		bitDef_t(const RTLIL::SigBit &bit) : std::pair<RTLIL::Wire*, int>(bit.wire, bit.offset) { }