[INFO] fetching crate maxpre 0.2.5... [INFO] testing maxpre-0.2.5 against try#b83b707f97d809763b7861afa7638871f3339a33 for pr-145838-1 [INFO] extracting crate maxpre 0.2.5 into /workspace/builds/worker-3-tc2/source [INFO] started tweaking crates.io crate maxpre 0.2.5 [INFO] finished tweaking crates.io crate maxpre 0.2.5 [INFO] tweaked toml for crates.io crate maxpre 0.2.5 written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate maxpre 0.2.5 on toolchain b83b707f97d809763b7861afa7638871f3339a33 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate maxpre 0.2.5 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 182c17eba365d6a3ec683ab12c4d96dd74587ee3f3ee73d6caf736ccdd14edbb [INFO] running `Command { std: "docker" "start" "-a" "182c17eba365d6a3ec683ab12c4d96dd74587ee3f3ee73d6caf736ccdd14edbb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "182c17eba365d6a3ec683ab12c4d96dd74587ee3f3ee73d6caf736ccdd14edbb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "182c17eba365d6a3ec683ab12c4d96dd74587ee3f3ee73d6caf736ccdd14edbb", kill_on_drop: false }` [INFO] [stdout] 182c17eba365d6a3ec683ab12c4d96dd74587ee3f3ee73d6caf736ccdd14edbb [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9d5012dc1b59058c1db9c7fde189a17c8dcc7c323aeb002012941b0dc5ed1d04 [INFO] running `Command { std: "docker" "start" "-a" "9d5012dc1b59058c1db9c7fde189a17c8dcc7c323aeb002012941b0dc5ed1d04", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.171 [INFO] [stderr] Compiling stable_deref_trait v1.2.0 [INFO] [stderr] Compiling litemap v0.7.5 [INFO] [stderr] Compiling icu_locid_transform_data v1.5.1 [INFO] [stderr] Compiling writeable v0.5.5 [INFO] [stderr] Compiling icu_properties_data v1.5.1 [INFO] [stderr] Compiling icu_normalizer_data v1.5.1 [INFO] [stderr] Compiling utf16_iter v1.0.5 [INFO] [stderr] Compiling utf8_iter v1.0.4 [INFO] [stderr] Compiling smallvec v1.15.0 [INFO] [stderr] Compiling write16 v1.0.0 [INFO] [stderr] Compiling rustix v1.0.5 [INFO] [stderr] Compiling getrandom v0.3.2 [INFO] [stderr] Compiling bitflags v2.9.0 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Compiling openssl-probe v0.1.6 [INFO] [stderr] Compiling anyhow v1.0.98 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling jobserver v0.1.33 [INFO] [stderr] Compiling cpu-time v1.0.0 [INFO] [stderr] Compiling cc v1.2.19 [INFO] [stderr] Compiling openssl-sys v0.9.107 [INFO] [stderr] Compiling libz-sys v1.1.22 [INFO] [stderr] Compiling libssh2-sys v0.3.1 [INFO] [stderr] Compiling libgit2-sys v0.18.1+1.9.0 [INFO] [stderr] Compiling synstructure v0.13.1 [INFO] [stderr] Compiling tempfile v3.19.1 [INFO] [stderr] Compiling zerofrom-derive v0.1.6 [INFO] [stderr] Compiling yoke-derive v0.7.5 [INFO] [stderr] Compiling zerovec-derive v0.10.3 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling icu_provider_macros v1.5.0 [INFO] [stderr] Compiling thiserror-impl v2.0.12 [INFO] [stderr] Compiling zerofrom v0.1.6 [INFO] [stderr] Compiling yoke v0.7.5 [INFO] [stderr] Compiling thiserror v2.0.12 [INFO] [stderr] Compiling zerovec v0.10.4 [INFO] [stderr] Compiling rustsat v0.7.1 [INFO] [stderr] Compiling tinystr v0.7.6 [INFO] [stderr] Compiling icu_collections v1.5.0 [INFO] [stderr] Compiling icu_locid v1.5.0 [INFO] [stderr] Compiling icu_provider v1.5.0 [INFO] [stderr] Compiling icu_locid_transform v1.5.0 [INFO] [stderr] Compiling icu_properties v1.5.1 [INFO] [stderr] Compiling icu_normalizer v1.5.0 [INFO] [stderr] Compiling idna_adapter v1.2.0 [INFO] [stderr] Compiling idna v1.0.3 [INFO] [stderr] Compiling url v2.5.4 [INFO] [stderr] Compiling git2 v0.20.1 [INFO] [stderr] Compiling maxpre v0.2.5 (/opt/rustwide/workdir) [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:616: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'void maxPreprocessor::Preprocessor::genIndex(std::vector >&, std::vector >&, int, int, int, int&, std::vector&, std::vector&, std::vector&, std::vector&, int)': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:105:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 105 | random_shuffle(ne.begin(), ne.begin() + g[x].size()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /usr/include/c++/13/algorithm:61, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:3: [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:106:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 106 | random_shuffle(ne.begin() + g[x].size(), ne.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:109:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 109 | random_shuffle(ne.begin(), ne.begin() + rg[x].size()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:110:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 110 | random_shuffle(ne.begin() + rg[x].size(), ne.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:113:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 113 | random_shuffle(ne.begin(), ne.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'int maxPreprocessor::Preprocessor::tryBIG(int, bool)': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:313:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 313 | random_shuffle(perm.begin(), perm.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:623: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp: In member function 'int maxPreprocessor::Preprocessor::tryModelCuttingRED()': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp:733:47: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 733 | random_shuffle(lits.begin(), lits.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:14: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:33, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/Solver.h:32, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.cc:34: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.hpp:8, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/cpreprocessorinterface.cpp:1: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp: In member function 'void maxPreprocessor::PreprocessorInterface::getInstanceClausesAndLabels(std::vector >&, std::vector&)': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:90:37: warning: unused variable 'lit0' [-Wunused-variable] [INFO] [stderr] warning: maxpre@0.2.5: 90 | int lit0 = lit; [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:104:48: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector >::size_type' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: maxpre@0.2.5: 104 | for (int i=0; i::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 56.67s [INFO] running `Command { std: "docker" "inspect" "9d5012dc1b59058c1db9c7fde189a17c8dcc7c323aeb002012941b0dc5ed1d04", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9d5012dc1b59058c1db9c7fde189a17c8dcc7c323aeb002012941b0dc5ed1d04", kill_on_drop: false }` [INFO] [stdout] 9d5012dc1b59058c1db9c7fde189a17c8dcc7c323aeb002012941b0dc5ed1d04 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9ad657dc2584459ca3943aaec85ac2bd30b393499a835f6f55b3fc43d9e3ad82 [INFO] running `Command { std: "docker" "start" "-a" "9ad657dc2584459ca3943aaec85ac2bd30b393499a835f6f55b3fc43d9e3ad82", kill_on_drop: false }` [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:616: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'void maxPreprocessor::Preprocessor::genIndex(std::vector >&, std::vector >&, int, int, int, int&, std::vector&, std::vector&, std::vector&, std::vector&, int)': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:105:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 105 | random_shuffle(ne.begin(), ne.begin() + g[x].size()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /usr/include/c++/13/algorithm:61, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:3: [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:106:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 106 | random_shuffle(ne.begin() + g[x].size(), ne.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:109:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 109 | random_shuffle(ne.begin(), ne.begin() + rg[x].size()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:110:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 110 | random_shuffle(ne.begin() + rg[x].size(), ne.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:113:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 113 | random_shuffle(ne.begin(), ne.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'int maxPreprocessor::Preprocessor::tryBIG(int, bool)': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:313:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 313 | random_shuffle(perm.begin(), perm.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:623: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp: In member function 'int maxPreprocessor::Preprocessor::tryModelCuttingRED()': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp:733:47: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 733 | random_shuffle(lits.begin(), lits.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:14: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:33, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/Solver.h:32, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.cc:34: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.hpp:8, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/cpreprocessorinterface.cpp:1: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp: In member function 'void maxPreprocessor::PreprocessorInterface::getInstanceClausesAndLabels(std::vector >&, std::vector&)': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:90:37: warning: unused variable 'lit0' [-Wunused-variable] [INFO] [stderr] warning: maxpre@0.2.5: 90 | int lit0 = lit; [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:104:48: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector >::size_type' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: maxpre@0.2.5: 104 | for (int i=0; i::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] Compiling maxpre v0.2.5 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.80s [INFO] running `Command { std: "docker" "inspect" "9ad657dc2584459ca3943aaec85ac2bd30b393499a835f6f55b3fc43d9e3ad82", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9ad657dc2584459ca3943aaec85ac2bd30b393499a835f6f55b3fc43d9e3ad82", kill_on_drop: false }` [INFO] [stdout] 9ad657dc2584459ca3943aaec85ac2bd30b393499a835f6f55b3fc43d9e3ad82 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 39b1ce5114a2d7a358d28eb0b2aba77a58e008b5ca42e51cc281ec96b5a84fa7 [INFO] running `Command { std: "docker" "start" "-a" "39b1ce5114a2d7a358d28eb0b2aba77a58e008b5ca42e51cc281ec96b5a84fa7", kill_on_drop: false }` [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:616: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'void maxPreprocessor::Preprocessor::genIndex(std::vector >&, std::vector >&, int, int, int, int&, std::vector&, std::vector&, std::vector&, std::vector&, int)': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:105:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 105 | random_shuffle(ne.begin(), ne.begin() + g[x].size()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /usr/include/c++/13/algorithm:61, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:3: [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:106:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 106 | random_shuffle(ne.begin() + g[x].size(), ne.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:109:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 109 | random_shuffle(ne.begin(), ne.begin() + rg[x].size()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:110:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 110 | random_shuffle(ne.begin() + rg[x].size(), ne.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:113:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator*, vector > >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 113 | random_shuffle(ne.begin(), ne.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp: In member function 'int maxPreprocessor::Preprocessor::tryBIG(int, bool)': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/BIG.cpp:313:31: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 313 | random_shuffle(perm.begin(), perm.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:623: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp: In member function 'int maxPreprocessor::Preprocessor::tryModelCuttingRED()': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/RED.cpp:733:47: warning: 'void std::random_shuffle(_RAIter, _RAIter) [with _RAIter = __gnu_cxx::__normal_iterator >]' is deprecated: use 'std::shuffle' instead [-Wdeprecated-declarations] [INFO] [stderr] warning: maxpre@0.2.5: 733 | random_shuffle(lits.begin(), lits.end()); [INFO] [stderr] warning: maxpre@0.2.5: | ~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: /usr/include/c++/13/bits/stl_algo.h:4581:5: note: declared here [INFO] [stderr] warning: maxpre@0.2.5: 4581 | random_shuffle(_RandomAccessIterator __first, _RandomAccessIterator __last) [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~~~~~~~~~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.cpp:14: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:33, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/Solver.h:32, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.cc:34: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: In file included from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/../mtl/Vec.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alg.h:24, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:36, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/Solver.h:32, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/satsolver/glucose3.cpp:5, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessor.hpp:22, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.hpp:8, [INFO] [stderr] warning: maxpre@0.2.5: from /opt/rustwide/workdir/cppsrc/src/cpreprocessorinterface.cpp:1: [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T& GlucosePre::RegionAllocator::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp: In member function 'void maxPreprocessor::PreprocessorInterface::getInstanceClausesAndLabels(std::vector >&, std::vector&)': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:90:37: warning: unused variable 'lit0' [-Wunused-variable] [INFO] [stderr] warning: maxpre@0.2.5: 90 | int lit0 = lit; [INFO] [stderr] warning: maxpre@0.2.5: | ^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/preprocessorinterface.cpp:104:48: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector >::size_type' {aka 'long unsigned int'} [-Wsign-compare] [INFO] [stderr] warning: maxpre@0.2.5: 104 | for (int i=0; i::operator[](Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:243:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:63:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 63 | T& operator[](Ref r) { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T& GlucosePre::RegionAllocator::operator[](Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:244:98: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:64:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 64 | const T& operator[](Ref r) const { assert(r >= 0 && r < sz); return memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'T* GlucosePre::RegionAllocator::lea(Ref) [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:245:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:66:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 66 | T* lea (Ref r) { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h: In instantiation of 'const T* GlucosePre::RegionAllocator::lea(Ref) const [with T = unsigned int; Ref = unsigned int]': [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/SolverTypes.h:246:91: required from here [INFO] [stderr] warning: maxpre@0.2.5: /opt/rustwide/workdir/cppsrc/src/satsolver/solvers/glucose3/core/../core/../mtl/Alloc.h:67:49: warning: comparison of unsigned expression in '>= 0' is always true [-Wtype-limits] [INFO] [stderr] warning: maxpre@0.2.5: 67 | const T* lea (Ref r) const { assert(r >= 0 && r < sz); return &memory[r]; } [INFO] [stderr] warning: maxpre@0.2.5: | ~~^~~~ [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.16s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/maxpre-80f187f57cd75fff) [INFO] [stdout] [INFO] [stderr] Doc-tests maxpre [INFO] [stdout] running 1 test [INFO] [stdout] test base::tests::construct ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "39b1ce5114a2d7a358d28eb0b2aba77a58e008b5ca42e51cc281ec96b5a84fa7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "39b1ce5114a2d7a358d28eb0b2aba77a58e008b5ca42e51cc281ec96b5a84fa7", kill_on_drop: false }` [INFO] [stdout] 39b1ce5114a2d7a358d28eb0b2aba77a58e008b5ca42e51cc281ec96b5a84fa7