------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gettext-runtime-0.20.2.txz Installing /packages/All/gmake-4.3.txz SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by glucose-4.1_3 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by glucose-4.1_3 for building => SHA256 Checksum OK for glucose-syrup-4.1.tgz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by glucose-4.1_3 for building ===> Extracting for glucose-4.1_3 => SHA256 Checksum OK for glucose-syrup-4.1.tgz. Extracted Memory Use: 0.66M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for glucose-4.1_3 ===> Applying ports patches for glucose-4.1_3 ===> Cleanly applied ports patch(es) patch-mtl_template.mk patch-utils_System.cc SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on package: gmake>=4.3 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on package: gmake>=4.3 - found ===> Configuring for glucose-4.1_3 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for glucose-4.1_3 gmake[1]: Entering directory '/construction/math/glucose/glucose-syrup-4.1/simp' Making dependencies Compiling: /construction/math/glucose/glucose-syrup-4.1/simp/Main.o In file included from /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc:57: /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc: In function 'int main(int, char**)': /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc:166:15: warning: this 'else' clause does not guard... [-Wmisleading-indentation] } else ^~~~ /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc:168:17: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'else' const char *name = opt_certified_file; ^~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.h:29, from /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc:58: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Dimacs.h:27, from /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc:59: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.o In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/simp/../simp/SimpSolver.h:54, from /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:51: /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::vec]': /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:137:5: required from 'void Glucose::vec::growTo(int) [with T = Glucose::vec]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverTypes.h:376:2: required from 'void Glucose::OccLists::copyTo(Glucose::OccLists&) const [with Idx = int; Vec = Glucose::vec; Deleted = Glucose::SimpSolver::ClauseDeleted]' /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:135:27: required from here /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glucose::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:39:7: note: 'class Glucose::vec' declared here class vec { ^~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.h:56, from /construction/math/glucose/glucose-syrup-4.1/simp/../simp/SimpSolver.h:54, from /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:51: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: utils/Options.o In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.cc:21: /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.cc: In function 'void Glucose::printUsageAndExit(int, char**, bool)': /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.cc:62:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (usage != NULL) ^~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.cc:65:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' sort(Option::getOptionList(), Option::OptionLt()); ^~~~ Compiling: utils/System.o Compiling: core/Solver.o In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:54: /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc: In member function 'void Glucose::Solver::analyze(Glucose::CRef, Glucose::vec&, Glucose::vec&, int&, unsigned int&, unsigned int&)': /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:774:49: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc: In member function 'void Glucose::Solver::adaptSolver()': /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:1416:24: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] if(c.lbd() <= coLBDBound) { ~~~~~~~~^~~~~~~~~~~~~ /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc: In member function 'Glucose::lbool Glucose::Solver::search(int)': /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:1562:49: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:53: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::vec]': /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:137:5: required from 'void Glucose::vec::growTo(int) [with T = Glucose::vec]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverTypes.h:376:2: required from 'void Glucose::OccLists::copyTo(Glucose::OccLists&) const [with Idx = Glucose::Lit; Vec = Glucose::vec; Deleted = Glucose::Solver::WatcherDeleted]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:293:29: required from here /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glucose::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:53: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:39:7: note: 'class Glucose::vec' declared here class vec { ^~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:53: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.h:56, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:54: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Linking: glucose ( /construction/math/glucose/glucose-syrup-4.1/simp/Main.o /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.o utils/Options.o utils/System.o core/Solver.o ) gmake[1]: Leaving directory '/construction/math/glucose/glucose-syrup-4.1/simp' gmake[1]: Entering directory '/construction/math/glucose/glucose-syrup-4.1/parallel' Making dependencies Depends on: simp Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/ClausesBuffer.o In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:54, from /construction/math/glucose/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/Main.o In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/Main.cc:57: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:29, from /construction/math/glucose/glucose-syrup-4.1/parallel/Main.cc:58: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Dimacs.h:27, from /construction/math/glucose/glucose-syrup-4.1/parallel/Main.cc:59: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.o In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:54, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.cc:51: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Alg.h:24, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:59, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.cc:51: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.cc:51: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.o In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:54, from /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc: In member function 'virtual void Glucose::ParallelSolver::parallelImportClauseDuringConflictAnalysis(Glucose::Clause&, Glucose::CRef)': /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:242:90: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] if (dontExportDirectReusedClauses && (confl == lastLearntClause) && (c.getExported() < nbTimesSeenBeforeExport)) { // Experimental stuff ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:245:55: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] } else if (shareAfterProbation && c.getExported() != nbTimesSeenBeforeExport && conflicts > firstSharing) { ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:247:49: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] if (!c.wasImported() && c.getExported() == nbTimesSeenBeforeExport) { // It's a new interesting clause: ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Alg.h:24, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:59, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.o In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Heap.h:24, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:56, from /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/SolverCompanion.o Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.o In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:54, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Alg.h:24, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:59, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Linking: glucose-syrup ( /construction/math/glucose/glucose-syrup-4.1/parallel/ClausesBuffer.o /construction/math/glucose/glucose-syrup-4.1/parallel/Main.o /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.o /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.o /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.o /construction/math/glucose/glucose-syrup-4.1/parallel/SolverCompanion.o /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.o utils/Options.o utils/System.o core/Solver.o simp/SimpSolver.o ) gmake[1]: Leaving directory '/construction/math/glucose/glucose-syrup-4.1/parallel' SUCCEEDED 00:00:34 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for glucose-4.1_3 ===> Generating temporary packing list install -s -m 555 /construction/math/glucose/glucose-syrup-4.1/simp/glucose /construction/math/glucose/stage/usr/local/bin/ install -s -m 555 /construction/math/glucose/glucose-syrup-4.1/parallel/glucose-syrup /construction/math/glucose/stage/usr/local/bin/ ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for glucose-4.1_3 file sizes/checksums [2]: 0% file sizes/checksums [2]: 100% packing files [2]: 0% packing files [2]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:01 TOTAL TIME 00:00:37