David Anekstein

`rustc_wrapper` is invoked twice during dynamic instrumentation

5

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...

Dynamic instrumentation does not support intermediate `LoadValue` and `LoadAddr` events

2

We'd like to treat the following MIR: ```rust _13 = &raw const (*((*((*_8).2: *mut pointers::S)).2: *mut pointers::S)) ``` as something roughly equal to: ```rust 1: p = (*_8).2: *mut pointers::S...

WIP to address #578

First mentioned by @fw-immunant [here](https://github.com/immunant/c2rust/pull/521#discussion_r921603564), an example of a missed case would be something like: ```rust *x = myusize as *const _; ``` where `x` is `&mut *const _`. In...

For the following example: ```c int six(void) { int out = 0; int six = 6; asm("add %0, %1\n\t" : "=r"(out) : "r"(six), "0"(out)); return out; } ``` the following...

Need support for tests that target ARM

3

Tests such as `tests/asm.arm` and `tests/asm.aarch64` are unable to execute in the test pipeline because their inline assembly is meant to target ARM.

the following C code: ```c int mul2_3(int var64) { int out; int dummy = 2; asm("add {%0, %2 | %2 %0}\n\t" "add %1, %1" : "=r"(out) : "r"(dummy), "0"(var64)); return...

Unlike GCC, inline assembly with Intel syntax is only supported in [clang versions >= 14](https://reviews.llvm.org/D113707). There should be a check that at least warns the user that their inline assembly...

Feature request for O(1) access to node neighbors in GraphMap

5

### Summary Currently (I believe) checking to see if a node is present in the neighbor collection of another in a `GraphMap` is O(|V|) access. It should be possible to...