Uploaded image for project: 'Apache Arrow'
  1. Apache Arrow
  2. ARROW-11713

[Rust] Get MIRI running again

    XMLWordPrintableJSON

Details

    • Improvement
    • Status: Closed
    • Major
    • Resolution: Invalid
    • None
    • None
    • Rust
    • None

    Description

      Rust's MIRI https://github.com/rust-lang/miri can help detect logical errors in programs

      The Rust arrow implementation now runs the MIRI checks as part of CI thanks to vertexclique but it does not pass cleanly yet

      For example:
      https://github.com/apache/arrow/pull/9535/checks?check_run_id=1941313240

      
         Compiling criterion v0.3.4
         Compiling h2 v0.3.0
         Compiling tower v0.4.5
         Compiling hyper v0.14.4
      error[E0463]: can't find crate for `tracing`
        --> /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/hyper-0.14.4/src/lib.rs:68:1
         |
      68 | extern crate tracing;
         | ^^^^^^^^^^^^^^^^^^^^^ can't find crate
      
      error: aborting due to previous error
      

      Previously MIRI ran but the check failed in FFI somewhere

      Help wanted!

      Attachments

        Activity

          People

            Unassigned Unassigned
            alamb Andrew Lamb
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: