gistfile1.txt

ubuntu@ip-172-30-0-140:~/tikv3/components/codec$ cargo miri test -p codec -- -Zmiri-disable-isolation -- try_decode_first_error
    Checking codec v0.0.1 (/home/ubuntu/tikv3/components/codec)

running 1 test
error: Undefined Behavior: Inbounds test failed: pointer must be in-bounds at offset 9, but is outside bounds of alloc366879 which has size 4
    --> /home/ubuntu/.rustup/toolchains/nightly-2020-04-17-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/ptr/const_ptr.rs:160:9
     |
160  |         intrinsics::offset(self, count)
     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Inbounds test failed: pointer must be in-bounds at offset 9, but is outside bounds of alloc366879 which has size 4
     |
     = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
     = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information

     = note: inside `std::ptr::const_ptr::<impl *const u8>::offset` at /home/ubuntu/.rustup/toolchains/nightly-2020-04-17-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/ptr/const_ptr.rs:160:9
     = note: inside `std::ptr::const_ptr::<impl *const u8>::add` at /home/ubuntu/.rustup/toolchains/nightly-2020-04-17-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src/libcore/ptr/const_ptr.rs:399:9
note: inside `byte::MemComparableByteCodec::try_decode_first_internal::<byte::AscendingMemComparableCodecHelper>` at components/codec/src/byte.rs:354:36
    --> components/codec/src/byte.rs:354:36
     |
354  |                 let src_ptr_next = src_ptr.add(MEMCMP_GROUP_SIZE + 1);
     |                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^