Add requires to eval_object/target

DataDog · Oct 2, 2024 · 5db918a · 5db918a
1 parent b7fc7a5
commit 5db918a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/condition/scalar_condition.cpp b/src/condition/scalar_condition.cpp
@@ -35,6 +35,8 @@ template <typename ResultType, typename Iterator>
 ResultType eval_object(Iterator &it, std::string_view address, bool ephemeral,
  const matcher::base &matcher, const std::span<const transformer_id> &transformers,
  const object_limits &limits)
+ requires(std::is_same_v<ResultType, bool> ||
+ std::is_same_v<ResultType, std::optional<condition_match>>)
 {
  // The iterator is guaranteed to be valid at this point, which means the
  // object pointer should not be nullptr
@@ -89,6 +91,8 @@ template <typename ResultType, typename Iterator>
 ResultType eval_target(Iterator &it, std::string_view address, bool ephemeral,
  const matcher::base &matcher, const std::span<const transformer_id> &transformers,
  const object_limits &limits, ddwaf::timer &deadline)
+ requires(std::is_same_v<ResultType, bool> ||
+ std::is_same_v<ResultType, std::optional<condition_match>>)
 {
  for (; it; ++it) {
  if (deadline.expired()) {