From 3774ed1d84ac1e2c353d8adbad68cd6fa9562a32 Mon Sep 17 00:00:00 2001 From: Robert O'Callahan Date: Thu, 27 Jun 2024 03:40:17 +0000 Subject: [PATCH] Use correct sentinel value for `delay` Currently we're assigning float-max to a `uint32_t` which is technically undefined behavior. --- include/mockturtle/algorithms/emap.hpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/include/mockturtle/algorithms/emap.hpp b/include/mockturtle/algorithms/emap.hpp index 7c552195e..b3f041c35 100644 --- a/include/mockturtle/algorithms/emap.hpp +++ b/include/mockturtle/algorithms/emap.hpp @@ -4707,7 +4707,7 @@ class emap_impl #pragma region Cuts and matching utils void compute_cut_data( cut_t& cut, node const& n ) { - cut->delay = std::numeric_limits::max(); + cut->delay = std::numeric_limits::max(); cut->flow = std::numeric_limits::max(); cut->ignore = false; @@ -4767,7 +4767,7 @@ class emap_impl void compute_cut_data_structural( cut_t& cut, node const& n ) { - cut->delay = std::numeric_limits::max(); + cut->delay = std::numeric_limits::max(); cut->flow = std::numeric_limits::max(); cut->ignore = false;