chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15c37b6) | patch
packetframe: Add some not miri annotations
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 3 May 2021 15:08:38 +0000 (16:08 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 3 May 2021 15:08:38 +0000 (16:08 +0100)
commit82c68fc8248182de73cf40cd6993573e6aeaf665
tree2295ffa9f9c97eb492acc46a4a299b3b2abadeebtree | snapshot
parent15c37b6afd62265db5bd2aeda6bdd322771b6105commit | diff
packetframe: Add some not miri annotations

warning: function is never used: `expect_good`
   --> src/packetframe.rs:521:6
    |
521 |   fn expect_good<R:Read>(rd: &mut FrameReader<R>, expected: &[u8]) {
    |      ^^^^^^^^^^^

Weirdly, not always.  Only on certain rebuilds ?  Whatever.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/packetframe.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.