+ dirname /input/Singularity + REPO_ROOT=/input + cp -r /input/ /usr/local/var/singularity/mnt/container/planner + apt-get update + apt-get -y install cmake g++ make python automake autoconf libtool time gawk flex bison debconf: delaying package configuration, since apt-utils is not installed + gcc --version + cd /planner + ./build -j4 In file included from planner.cc:17:0: h2_mutexes.h: In member function 'bool H2Mutexes::are_mutex(int, int, int, int) const': h2_mutexes.h:76:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (val1 == -1 || val2 == -1) ^~ h2_mutexes.h:79:5: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' if (var1 == var2) // same variable: mutex iff different value ^~ In file included from operator.cc:4:0: h2_mutexes.h: In member function 'bool H2Mutexes::are_mutex(int, int, int, int) const': h2_mutexes.h:76:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (val1 == -1 || val2 == -1) ^~ h2_mutexes.h:79:5: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' if (var1 == var2) // same variable: mutex iff different value ^~ In file included from h2_mutexes.cc:3:0: h2_mutexes.h: In member function 'bool H2Mutexes::are_mutex(int, int, int, int) const': h2_mutexes.h:76:3: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (val1 == -1 || val2 == -1) ^~ h2_mutexes.h:79:5: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' if (var1 == var2) // same variable: mutex iff different value ^~ autoreconf: Entering directory `.' autoreconf: configure.ac: not using Gettext autoreconf: running: aclocal --force -I m4 autoreconf: configure.ac: tracing autoreconf: running: libtoolize --copy --force autoreconf: running: /usr/bin/autoconf --force autoreconf: running: /usr/bin/autoheader --force autoreconf: running: automake --add-missing --copy --force-missing configure.ac:22: installing './ar-lib' configure.ac:20: installing './compile' configure.ac:23: installing './config.guess' configure.ac:23: installing './config.sub' configure.ac:9: installing './install-sh' configure.ac:9: installing './missing' examples/Makefile.am: installing './depcomp' parallel-tests: installing './test-driver' autoreconf: Leaving directory `.' global_rebuilder.cc: In destructor 'MEDDLY::global_rebuilder::~global_rebuilder()': global_rebuilder.cc:45:10: warning: deleting object of abstract class type 'MEDDLY::global_rebuilder::SignatureGenerator' which has non-virtual destructor will cause undefined behavior [-Wdelete-non-virtual-dtor] delete _sg; ^~~ global_rebuilder.cc: In member function 'int MEDDLY::global_rebuilder::check_dependency(MEDDLY::node_handle, int) const': global_rebuilder.cc:53:7: warning: unused variable 'level' [-Wunused-variable] int level = target_level; ^~~~~ global_rebuilder.cc: In member function 'MEDDLY::node_handle MEDDLY::global_rebuilder::transform(MEDDLY::node_handle, int, std::vector&)': global_rebuilder.cc:156:7: warning: unused variable 'level' [-Wunused-variable] int level = target_level; ^~~~~ global_rebuilder.cc: In member function 'bool MEDDLY::global_rebuilder::restrict_exist(MEDDLY::node_handle, const std::vector&, int, MEDDLY::node_handle&)': global_rebuilder.cc:328:13: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] if (start == pa.size()) { ~~~~~~^~~~~~~~~~~~ forests/mtmxd.cc: In member function 'void MEDDLY::mtmxd_forest::swapAdjacentVariablesByVarSwap(int)': forests/mtmxd.cc:65:7: warning: unused variable 'lsize' [-Wunused-variable] int lsize = getVariableSize(lvar); ^~~~~ forests/mtmxd.cc: In member function 'virtual void MEDDLY::mtmxd_forest::dynamicReorderVariables(int, int)': forests/mtmxd.cc:487:21: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] for (int i = 0; i < vars.size(); i++) { ~~^~~~~~~~~~~~~ forests/mtmxd.cc:490:27: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] for (int j = i + 1; j < vars.size(); j++){ ~~^~~~~~~~~~~~~ forests/mtmxd.cc: In member function 'void MEDDLY::mtmxd_forest::sifting(int, int, int)': forests/mtmxd.cc:512:7: warning: unused variable 'num' [-Wunused-variable] int num = getCurrentNumNodes(); ^~~ operations/prepostimage.cc: In instantiation of 'MEDDLY::node_handle MEDDLY::mtvect_mtmatr::processTerminals(MEDDLY::node_handle, MEDDLY::node_handle) [with RTYPE = bool; MEDDLY::node_handle = int]': operations/prepostimage.cc:749:1: required from here operations/prepostimage.cc:483:23: warning: '*' in boolean context, suggest '&&' instead [-Wint-in-bool-context] rval = mddval * mxdval; ~~~~~~~^~~~~~~~ operations/prepostimage.cc: In instantiation of 'MEDDLY::node_handle MEDDLY::mtmatr_mtvect::processTerminals(MEDDLY::node_handle, MEDDLY::node_handle) [with RTYPE = bool; MEDDLY::node_handle = int]': operations/prepostimage.cc:749:1: required from here operations/prepostimage.cc:446:23: warning: '*' in boolean context, suggest '&&' instead [-Wint-in-bool-context] rval = mddval * mxdval; ~~~~~~~^~~~~~~~ operations/reach_dfs.cc: In member function 'void MEDDLY::common_dfs_mt::splitMxd(MEDDLY::node_handle)': operations/reach_dfs.cc:520:43: warning: 'maxDiag' may be used uninitialized in this function [-Wmaybe-uninitialized] splits[level] = mxdDifference->compute(mxd, maxDiag); ~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~ storage/hm_array.cc: In member function 'virtual MEDDLY::node_address MEDDLY::hm_array::requestChunk(int)': storage/hm_array.cc:127:34: warning: format '%lu' expects argument of type 'long unsigned int', but argument 3 has type 'int' [-Wformat=] slots, __FILE__, __LINE__); ^ storage/hm_heap.cc: In member function 'virtual MEDDLY::node_address MEDDLY::hm_heap::requestChunk(int)': storage/hm_heap.cc:150:34: warning: format '%lu' expects argument of type 'long unsigned int', but argument 3 has type 'int' [-Wformat=] slots, __FILE__, __LINE__); ^ storage/hm_none.cc: In member function 'virtual MEDDLY::node_address MEDDLY::hm_none::requestChunk(int)': storage/hm_none.cc:59:34: warning: format '%lu' expects argument of type 'long unsigned int', but argument 3 has type 'int' [-Wformat=] slots, __FILE__, __LINE__); ^ ar: `u' modifier ignored since `D' is the default (see `U') test_mtmxd.cc: In function 'int main(int, char**)': test_mtmxd.cc:403:16: warning: variable 'curr' set but not used [-Wunused-but-set-variable] const int* curr = 0; ^~~~ test_mtmxd.cc:404:16: warning: variable 'end' set but not used [-Wunused-but-set-variable] const int* end = 0; ^~~ test_evmdd.cc: In function 'int main(int, char**)': test_evmdd.cc:228:8: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result] scanf("%d", &randomGeneratorBound); ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ dining_phils.cc: In function 'int main(int, char**)': dining_phils.cc:846:10: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result] scanf("%d", &nPhilosophers); ~~~~~^~~~~~~~~~~~~~~~~~~~~~ In file included from /usr/include/c++/7/cassert:44:0, from ../src/defines.h:50, from ../src/timer.h:37, from rubiks_cube_phase.cc:72: rubiks_cube_phase.cc: In function 'RubiksCubeModelConfig buildModelConfig(int, RubiksCubeModelType)': rubiks_cube_phase.cc:496:28: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] assert(config.num_phases == config.moves.size()); ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~ rubiks_cube_phase.cc:497:28: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] assert(config.num_phases == config.level2components.size()); ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ rubiks_cube_phase.cc: In member function 'std::vector RubiksCubeModel::convertToVariableOrder(const std::vector&)': rubiks_cube_phase.cc:624:37: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] assert(level2component.size() - 1 == _config.num_components()); ~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~ rubiks_cube_phase.cc: In member function 'std::vector RubiksCubeModel::buildNextStateFunctions()': rubiks_cube_phase.cc:665:28: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] assert(_relations.size() == _config.num_phases); ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~ In file included from lm_cut_heuristic.cc:1:0: lm_cut_heuristic.h: In member function 'virtual void LandmarkCutHeuristic::initialize()': lm_cut_heuristic.h:79:8: warning: '.RelaxedProposition::status' may be used uninitialized in this function [-Wmaybe-uninitialized] struct RelaxedProposition { ^~~~~~~~~~~~~~~~~~ lm_cut_heuristic.h:79:8: warning: '.RelaxedProposition::h_max_cost' may be used uninitialized in this function [-Wmaybe-uninitialized] In file included from lm_cut_heuristic.cc:1:0: lm_cut_heuristic.h: In member function 'virtual void LandmarkCutHeuristic::initialize()': lm_cut_heuristic.h:79:8: warning: '.RelaxedProposition::status' may be used uninitialized in this function [-Wmaybe-uninitialized] struct RelaxedProposition { ^~~~~~~~~~~~~~~~~~ lm_cut_heuristic.h:79:8: warning: '.RelaxedProposition::h_max_cost' may be used uninitialized in this function [-Wmaybe-uninitialized] In file included from lm_cut_heuristic.cc:1:0: lm_cut_heuristic.h: In member function 'virtual void LandmarkCutHeuristic::initialize()': lm_cut_heuristic.h:79:8: warning: '.RelaxedProposition::status' may be used uninitialized in this function [-Wmaybe-uninitialized] struct RelaxedProposition { ^~~~~~~~~~~~~~~~~~ lm_cut_heuristic.h:79:8: warning: '.RelaxedProposition::h_max_cost' may be used uninitialized in this function [-Wmaybe-uninitialized] src/Proposition.cpp: In member function 'std::__cxx11::string VAL::Comparison::getExprnString(const VAL::expression*, const VAL::Environment&) const': src/Proposition.cpp:3077:7: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if(LaTeX) return "\\exprn{"+ s + "}"; ^~ src/Proposition.cpp:3078:3: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' return s; ^~~~~~ src/Proposition.cpp: In member function 'std::__cxx11::string VAL::Comparison::getExprnString(const VAL::expression*, const VAL::Environment&, const VAL::State*) const': src/Proposition.cpp:3149:7: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if(LaTeX) return "\\exprn{"+ toString(fexp) + "}$[=" + toString(fexp->evaluate(s)) + "]$"; ^~ src/Proposition.cpp:3150:3: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' return toString(fexp) + "[=" + toString(fexp->evaluate(s)) + "]"; ^~~~~~ src/Validator.cpp: In member function 'std::pair > VAL::PlanRepair::repairPlanOneAction(const VAL::plan*, const VAL::plan_step*)': src/Validator.cpp:3216:11: warning: this 'if' clause does not guard... [-Wmisleading-indentation] { if(planRepairValidator->checkGoal(theGoal)) //goalSatisfied = true; ^~ src/Validator.cpp:3218:36: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' actionFixed = true; planRepaired = true; break; ^~~~~~~~~~~~ src/Polynomial.cpp: In member function 'void VAL::Intervals::writeOffset(double) const': src/Polynomial.cpp:143:7: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if(LaTeX) *report << "$"; ^~ src/Polynomial.cpp:144:3: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' for(vector< pair >::const_iterator i = intervals.begin(); i != intervals.end();) ^~~ src/RobustAnalyse.cpp: In function 'std::__cxx11::string VAL::getPlanStepString(const VAL::plan_step*)': src/RobustAnalyse.cpp:691:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if(ps == 0) return ""; ^~ src/RobustAnalyse.cpp:692:3: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' string act = "("+ps->op_sym->getName(); ^~~~~~