c2rust
c2rust copied to clipboard
immunant
Migrate C code to Rust
Fixes #586. Atomically append to the `Metadata` file (error if not written all at once) and then merge upon deserialization. See https://github.com/immunant/c2rust/issues/586#issuecomment-1210068124 for a discussion of solutions, of which this...
Supercedes #513. I kept behavior identical (at least I meant to) during this update, even if it may make more sense to relax a `match` or avoid an `.unwrap()` now....
This adds better `impl`s for some `c2rust-analysis-rt` types. Namely, we * https://github.com/immunant/c2rust/commit/8230808bc590a45a492312cf8052f944d8132ba6: match `rustc`'s derive `impl`s for mirrored types like `Fingerprint` and `DefPathHash` * https://github.com/immunant/c2rust/commit/2f596ae50aac109b1eeaa15eb60e2d2265b810e4: extend those same `impl`s to...
Renamed infos for clarity, consistency, and succinctness. Specifically, * `mut` renamed to `store` to match `load` * `non_unique` renamed to `alias`, as this more closely follows Rust's terminology for aliasing,...
This causes the runtime to get finalized twice. The first time this occurs, it's during the collection of instrumentation points which causes the built-up set of `MirLocs` to get drained...
Checks whether nodes flow to loads/stores/offsets, and whether they are unique. Uniqueness of node X is determined based on whether there is a node Y which - is X's ancestor...
This aligns each of the infos printed so that they're much easier to scan while reading. This is done by adding a `NodeInfo::fmt_with_sep` just like `Node::fmt_with_sep`. And non-existent infos are...
Blocked on #595. Currently, in https://github.com/immunant/c2rust/pull/554, the `c2rust-analysis-rt` runtime must be added as an (optional) dependency in the instrumented crate. This runs `cargo add c2rust-analysis-rt --optional` so that it is...
On Ubuntu 18 and Debian 10, `FileCheck` is not installed by default with `llvm`, so `cargo test -p c2rust-analyze` fails. We can either upgrade `llvm` versions on those distros (and...