Instrument using `$RUSTC_WRAPPER` and `cargo` as a subcommand#554

Merged

kkysen merged 55 commits intomasterfrom

kkysen/instrument-rustc-wrapper

Aug 4, 2022

Commits on Jul 21, 2022

Removed `InstrumentationExecutor::default: DefaultExecutor` as it does nothing an complicates logic going forward.
kkysen
committed

Commits on Jul 22, 2022

Added a new implementation of `c2rust-instrument` that invokes `cargo` as a subcommand, overriding `RUSTC_WRAPPER`.
kkysen
committed
Updated the snapshot as this rearranges basic block orders (which I think is okay).
kkysen
committed
Don't need the runtime argument at all now as it's specified as a normal dependency.
kkysen
committed
Forgot to update the profile dir in `pdg.sh` as now we can specify any `cargo` arguments, including `--release` and `--profile`.
kkysen
committed
Now that we use `cargo` normally and include `c2rust_analysis_rt` as a normal dependency,
kkysen
committed
Removed unused imports and re-formatted.
kkysen
committed
Removed `pretty-instrument-err.mjs` as it's no longer needed since we now use `cargo` correctly and get nice error messages.
kkysen
committed
Moved the metadata file and binary artifact deletion to inside the Rust binary.
kkysen
committed
Use `cargo run` instead of `cargo build` now that we can specify any `cargo` args. This gets rid of another use of the binary name.
kkysen
committed
Now that all binary name uses are gone, we can delete the last `node` script: `get-binary-names-from-cargo-metadata.mjs`.
kkysen
committed
Updated `pdg.sh` documentation now that `node` scripts are gone and `cargo` args restrictions aren't in place.
kkysen
committed
Now that the `get-binary-names-from-cargo-metadata.mjs` `node` script is gone, we don't need to specify `BINARY=c2rust-analysis-test` in the snapshot test.
kkysen
committed
Don't need to `unset RUSTC_WRAPPER` in `pdg.sh` anymore as we now override it.
kkysen
committed
Removed runtime args from `pdg.sh` as those are not used anymore.
kkysen
committed
Updated (and able to shorten considerably) the `pdg.sh` documentation.
kkysen
committed
Extracted a few functions from `main` to clean things up.
kkysen
committed
Merge branch 'master' into kkysen/instrument-rustc-wrapper
kkysen
committed
Formatted.
kkysen
committed
Updated the snapshot back to a `debug` not `release` build, so there should be no diff now.
kkysen
committed
Allow `NotFound` errors on `target/` when looking for files to delete.
kkysen
committed
Merge branch 'master' into kkysen/instrument-rustc-wrapper
kkysen
committed

Commits on Jul 27, 2022

Commits on Jul 28, 2022

Commits on Jul 29, 2022