From b8f2b07872dd0949d0ef3e94ed9475945b3e7ba9 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Wed, 13 Nov 2024 11:28:40 -0800 Subject: [PATCH] issue107 crpr with clock min false and max delay exceptions Signed-off-by: James Cherry --- search/Tag.cc | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/search/Tag.cc b/search/Tag.cc index 81942b88..9cb73b5f 100644 --- a/search/Tag.cc +++ b/search/Tag.cc @@ -607,7 +607,7 @@ tagStateEqual(ExceptionStateSet *states1, return false; } -// Match false, loop exception states only for crpr min/max paths. +// Match loop exception states only for crpr min/max paths. static bool tagStateEqualCrpr(const Tag *tag1, const Tag *tag2) @@ -622,8 +622,7 @@ tagStateEqualCrpr(const Tag *tag1, while (state_iter1.hasNext()) { state1 = state_iter1.next(); ExceptionPath *exception1 = state1->exception(); - if (exception1->isFalse() - || exception1->isLoop()) + if (exception1->isLoop()) break; else state1 = nullptr; @@ -632,8 +631,7 @@ tagStateEqualCrpr(const Tag *tag1, while (state_iter2.hasNext()) { state2 = state_iter2.next(); ExceptionPath *exception2 = state2->exception(); - if (exception2->isFalse() - || exception2->isLoop()) + if (exception2->isLoop()) break; else state2 = nullptr;