search

utwente-fmt / sylvan

Multi-core Decision Diagram (BDD/LDD) implementation
Apache License 2.0
41 stars 8 forks source link

Build failure with clang on macOS Big Sur #19

Closed hassila closed 3 years ago

hassila commented 3 years ago

Just tried building latest on macOS:

jocke@solid sylvan-master % clang --version
Apple clang version 12.0.0 (clang-1200.0.32.28)
Target: x86_64-apple-darwin20.2.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin
jocke@solid sylvan-master % 
jocke@solid sylvan-master % make && make test && make install
Scanning dependencies of target sylvan
[  5%] Building C object src/CMakeFiles/sylvan.dir/lace.c.o
[ 10%] Building C object src/CMakeFiles/sylvan.dir/sha2.c.o
[ 15%] Building C object src/CMakeFiles/sylvan.dir/sylvan_bdd.c.o
[ 20%] Building C object src/CMakeFiles/sylvan.dir/sylvan_cache.c.o
[ 25%] Building C object src/CMakeFiles/sylvan.dir/sylvan_common.c.o
/Users/jocke/source/sylvan-master/src/sylvan_common.c:309:26: error: overlapping comparisons always evaluate to false [-Werror,-Wtautological-overlap-compare]
    if (table_ratio > 10 && table_ratio < 10) {
        ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~
1 error generated.
make[2]: *** [src/CMakeFiles/sylvan.dir/sylvan_common.c.o] Error 1
make[1]: *** [src/CMakeFiles/sylvan.dir/all] Error 2
make: *** [all] Error 2
jocke@solid sylvan-master %
hassila commented 3 years ago

Closing this, opened a new issue on the source repo instead.