./miri run-dep parses ui-test comments

[RalfJung]

Title says it all: running ./miri run-dep shouldn't care about whether the ui-test comments in the file make sense, they should just all be ignored. But currently when working on a test I am getting errors like

$ ./miri run-dep tests/fail/shims/memcpy_zero.rs
    Finished dev [optimized + debuginfo] target(s) in 0.01s
    Finished dev [optimized + debuginfo] target(s) in 0.01s
     Running `target/debug/cargo-miri miri setup --print-sysroot`
    Finished test [optimized + debuginfo] target(s) in 0.02s
     Running tests/compiletest.rs (target/debug/deps/compiletest-abb37bc11260f53d)
   Building test dependencies...
Error: 
   0: [
          InvalidComment {
              msg: "no pattern specified",
              line: 9,
          },
      ]

Backtrace omitted. Run with RUST_BACKTRACE=1 environment variable to display it.
Run with RUST_BACKTRACE=full to include source snippets.
error: test failed, to rerun pass `--test compiletest`

[oli-obk]

What about //@ comments that are necessary to run the test?

[RalfJung]

Not sure what you mean? compile-flags etc should all be ignored. The input to ./miri run and ./miri run-dep is just a Rust file, it's meant to be like rustc file.rs but for Miri.