cap.hpp

Go to the documentation of this file.

#ifndef SANISIZER_CAP_HPP
#define SANISIZER_CAP_HPP
 
#include <limits>
#include <type_traits>
 
#include "utils.hpp"
#include "attest.hpp"
 
namespace sanisizer {
 
template<typename Dest_, typename Value_>
constexpr Dest_ cap(Value_ x) {
    static_assert(std::is_integral<Dest_>::value);
    constexpr auto maxed = std::numeric_limits<Dest_>::max();
    constexpr auto umaxed = as_unsigned(maxed);
 
    const auto val = get_value(x);
    if constexpr(umaxed >= as_unsigned(get_max<Value_>())) {
        return val;
    } else if (umaxed >= as_unsigned(val)) {
        return val;
    } else {
        return maxed;
    }
}
 
}
 
#endif