luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

mingw fixes

This commit is contained in:
Miodrag Milanovic 2025-04-08 14:23:55 +02:00
parent 1cdaaadf53
commit 20416c1a7b
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/sat/cadical/cadical_congruence.cpp
View File

@ -5981,7 +5981,7 @@ void Closure::rewrite_ite_gate (Gate *g, int dst, int src) {
#endif
} else {
CADICAL_assert (false);
#ifdef WIN32
#if defined(WIN32) && !defined(__MINGW32__)
__assume(false);
#else
__builtin_unreachable ();

4
src/sat/cadical/cadical_vivify.cpp
View File

@ -1501,7 +1501,7 @@ inline std::vector<vivify_ref> &current_refs_schedule (Vivifier &vivifier) {
return vivifier.refs_schedule_irred;
break;
}
#ifdef WIN32
#if defined(WIN32) && !defined(__MINGW32__)
__assume(false);
#else
__builtin_unreachable ();
@ -1523,7 +1523,7 @@ inline std::vector<Clause *> &current_schedule (Vivifier &vivifier) {
return vivifier.schedule_irred;
break;
}
#ifdef WIN32
#if defined(WIN32) && !defined(__MINGW32__)
__assume(false);
#else
__builtin_unreachable ();