Dante Broggi

Clang provides `_Nonnull`, `_Nullable` and `_Null_unspecified` qualifiers and `__attribute__((nonnull))` to enable C code to specify the nullability of pointers. `c2rust` ought to preserve such specification in the translated code. The...

Expressing the Swift struct and enum layouts to Rust

4

The Swift struct and enum layouts, distinguish between the size (store size) and stride (array size) of types. In particular, the stable Swift 5 layout algorithm (mostly) [documented here](https://github.com/apple/swift/blob/master/docs/ABI/TypeLayout.rst), which...

I recently came across this commit in the SerenityOS project: [Shell: Color bareword yellow if it's a prefix of at least one command](https://github.com/SerenityOS/serenity/pull/20372) Which seems like a good idea for...

Don't use a new variable intermittently for the same pointer

2

Instead cast at each use with the new type. One of the commits originally in #4331

Declare ponyint_color_t as a typedef not a global

1

One of the commits originally in #4331

Possible violation of the `pthread_create` interface?

4

So, I'm exploring the runtime codebase and make an assumption below about the behavior of `restrict` with respect to threads so I am probably wrong but I believe I found...

This is probably difficult and unnecessary to implement, but it seems correct to me, based on the definition of restrict in [N1256](https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf): I believe that a dereferenced `T const *restrict`...

`size_t` is translated to `libc::c_ulong` instead of `libc::size_t`

3

Currently c2rust translates the typedef of `size_t` to `unsigned long` in `` and thus embeds it's size into the type. It could translate `size_t ` to `libc::size_t` or `usize` which...

Add `getaddrinfo` from POSIX <netdb.h>

3

I found myself implementing this and felt I should make a PR. Most of the doc comments are quotes from the posix documentation. I am uncertain how the remaining `AddrInfo`...

Warn on never-taken branch

2

## **Is your feature request related to a problem? Please describe.** When translating a grammar from a grammar language with unordered choice (eg: `BNF`) it may happen that a simple...