[llvm] [ADT] Simplify check_options with std::conjunction (NFC) (PR #159509)

via llvm-commits llvm-commits at lists.llvm.org
Wed Sep 17 23:00:40 PDT 2025


llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-llvm-adt

Author: Kazu Hirata (kazutakahirata)

<details>
<summary>Changes</summary>

This patch replaces the recursion with std::conjunction for
readability and brevity.


---
Full diff: https://github.com/llvm/llvm-project/pull/159509.diff


1 Files Affected:

- (modified) llvm/include/llvm/ADT/ilist_node_options.h (+2-6) 


``````````diff
diff --git a/llvm/include/llvm/ADT/ilist_node_options.h b/llvm/include/llvm/ADT/ilist_node_options.h
index 143195aa9c647..003d5dabce897 100644
--- a/llvm/include/llvm/ADT/ilist_node_options.h
+++ b/llvm/include/llvm/ADT/ilist_node_options.h
@@ -145,12 +145,8 @@ struct is_valid_option<ilist_parent<ParentTy>> : std::true_type {};
 /// Check whether options are valid.
 ///
 /// The conjunction of \a is_valid_option on each individual option.
-template <class... Options> struct check_options;
-template <> struct check_options<> : std::true_type {};
-template <class Option1, class... Options>
-struct check_options<Option1, Options...>
-    : std::bool_constant<is_valid_option<Option1>::value &&
-                         check_options<Options...>::value> {};
+template <class... Options>
+struct check_options : std::conjunction<is_valid_option<Options>...> {};
 
 /// Traits for options for \a ilist_node.
 ///

``````````

</details>


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


More information about the llvm-commits mailing list