[INFO] fetching crate maxpre 0.2.5... [INFO] checking maxpre-0.2.5 against try#a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d for pr-145342-1 [INFO] extracting crate maxpre 0.2.5 into /workspace/builds/worker-6-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-6-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate maxpre 0.2.5 on toolchain a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "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" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] bfae63f13b1a7ccc6096ad07c3a41f88883030b2802eefe08210d8ababb9dda9 [INFO] running `Command { std: "docker" "start" "-a" "bfae63f13b1a7ccc6096ad07c3a41f88883030b2802eefe08210d8ababb9dda9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "bfae63f13b1a7ccc6096ad07c3a41f88883030b2802eefe08210d8ababb9dda9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bfae63f13b1a7ccc6096ad07c3a41f88883030b2802eefe08210d8ababb9dda9", kill_on_drop: false }` [INFO] [stdout] bfae63f13b1a7ccc6096ad07c3a41f88883030b2802eefe08210d8ababb9dda9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+a4980311fb7bb9e7893708e6bd3fbbfb2819fd3d" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] bbd1a628f44d3f19b8325f81ece6de4208cb39194f29888855acfc5a5c53e9b1 [INFO] running `Command { std: "docker" "start" "-a" "bbd1a628f44d3f19b8325f81ece6de4208cb39194f29888855acfc5a5c53e9b1", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.94 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling libc v0.2.171 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling pkg-config v0.3.32 [INFO] [stderr] Compiling stable_deref_trait v1.2.0 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Compiling writeable v0.5.5 [INFO] [stderr] Compiling icu_locid_transform_data v1.5.1 [INFO] [stderr] Compiling litemap v0.7.5 [INFO] [stderr] Compiling icu_properties_data v1.5.1 [INFO] [stderr] Compiling icu_normalizer_data v1.5.1 [INFO] [stderr] Compiling smallvec v1.15.0 [INFO] [stderr] Compiling utf16_iter v1.0.5 [INFO] [stderr] Compiling write16 v1.0.0 [INFO] [stderr] Compiling utf8_iter v1.0.4 [INFO] [stderr] Compiling percent-encoding v2.3.1 [INFO] [stderr] Compiling getrandom v0.3.2 [INFO] [stderr] Compiling rustix v1.0.5 [INFO] [stderr] Compiling form_urlencoded v1.2.1 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling bitflags v2.9.0 [INFO] [stderr] Compiling openssl-probe v0.1.6 [INFO] [stderr] Checking linux-raw-sys v0.9.4 [INFO] [stderr] Compiling anyhow v1.0.98 [INFO] [stderr] Compiling log v0.4.27 [INFO] [stderr] Compiling thiserror v2.0.12 [INFO] [stderr] Checking minimal-lexical v0.2.1 [INFO] [stderr] Checking fastrand v2.3.0 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Compiling glob v0.3.2 [INFO] [stderr] Compiling jobserver v0.1.33 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Compiling cc v1.2.19 [INFO] [stderr] Checking cpu-time v1.0.0 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Checking nom v7.1.3 [INFO] [stderr] Compiling libz-sys v1.1.22 [INFO] [stderr] Compiling openssl-sys v0.9.107 [INFO] [stderr] Compiling libssh2-sys v0.3.1 [INFO] [stderr] Compiling libgit2-sys v0.18.1+1.9.0 [INFO] [stderr] Checking tempfile v3.19.1 [INFO] [stderr] Compiling synstructure v0.13.1 [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-derive v0.1.6 [INFO] [stderr] Compiling yoke-derive v0.7.5 [INFO] [stderr] Compiling zerofrom v0.1.6 [INFO] [stderr] Compiling yoke v0.7.5 [INFO] [stderr] Compiling zerovec v0.10.4 [INFO] [stderr] Checking 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: /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] 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: 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] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 47s [INFO] running `Command { std: "docker" "inspect" "bbd1a628f44d3f19b8325f81ece6de4208cb39194f29888855acfc5a5c53e9b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bbd1a628f44d3f19b8325f81ece6de4208cb39194f29888855acfc5a5c53e9b1", kill_on_drop: false }` [INFO] [stdout] bbd1a628f44d3f19b8325f81ece6de4208cb39194f29888855acfc5a5c53e9b1