From c69a2c11a3b3d74fd048657ece7014eb8b05dd61 Mon Sep 17 00:00:00 2001 From: Chandler Carruth Date: Tue, 7 Feb 2017 03:15:12 +0000 Subject: [PATCH] [ADT] Defend against getting slightly wrong template arguments passed into CRTP base classes. This can sometimes happen and not cause an immediate failure when the derived class is, itself, a template. You can end up essentially calling methods on the wrong derived type but a type where many things will appear to "work". To fail fast and with a clear error message we can use a static_assert, but we have to stash that static_assert inside a method body or nested type that won't need to be completed while building the base class. I've tried to pick a reasonably small number of places that seemed like reliably places for this to be instantiated. llvm-svn: 294271 --- include/llvm/ADT/DenseMap.h | 2 ++ include/llvm/ADT/iterator.h | 9 ++++++++- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/include/llvm/ADT/DenseMap.h b/include/llvm/ADT/DenseMap.h index 0b4b09d4b73..a689bcbf151 100644 --- a/include/llvm/ADT/DenseMap.h +++ b/include/llvm/ADT/DenseMap.h @@ -389,6 +389,8 @@ protected: return KeyInfoT::getHashValue(Val); } static const KeyT getEmptyKey() { + static_assert(std::is_base_of::value, + "Must pass the derived type to this template!"); return KeyInfoT::getEmptyKey(); } static const KeyT getTombstoneKey() { diff --git a/include/llvm/ADT/iterator.h b/include/llvm/ADT/iterator.h index 6470e09db86..9a134e1557b 100644 --- a/include/llvm/ADT/iterator.h +++ b/include/llvm/ADT/iterator.h @@ -91,6 +91,8 @@ protected: public: DerivedT operator+(DifferenceTypeT n) const { + static_assert(std::is_base_of::value, + "Must pass the derived type to this template!"); static_assert( IsRandomAccess, "The '+' operator is only defined for random access iterators."); @@ -114,6 +116,8 @@ public: } DerivedT &operator++() { + static_assert(std::is_base_of::value, + "Must pass the derived type to this template!"); return static_cast(this)->operator+=(1); } DerivedT operator++(int) { @@ -202,7 +206,10 @@ protected: iterator_adaptor_base() = default; - explicit iterator_adaptor_base(WrappedIteratorT u) : I(std::move(u)) {} + explicit iterator_adaptor_base(WrappedIteratorT u) : I(std::move(u)) { + static_assert(std::is_base_of::value, + "Must pass the derived type to this template!"); + } const WrappedIteratorT &wrapped() const { return I; }