[Ar-Curunir]

You can just read the paper instead of making negative comments: https://patpannuto.com/pubs/schuermann2025omniglot.pdf

They are in particular careful to never state that bindgen emits the wrong code. Maybe they could have said that bindgen in fact does handle this case correctly. But Omniglot seems to be doing a lot more than bindgen, and

[IshKebab]

Well... he does have a point. Don't demonstrate your great tool with an issue that the existing solution doesn't actually have.

[ARob109]

Learning Rust ATM and using bindgen on a C header. Just looked and it generates Rust enums from C enums. I'm not sure what the default behavior of bindgen is, but it seems there is option for constifying enums

--constified-enum <REGEX> Mark any enum whose name matches REGEX as a series of constants

--constified-enum-module <REGEX> Mark any enum whose name matches REGEX as a module of constants

IMO, saying bindgen avoids the issue presented in the article is not accurate.

edit: formatting

[xTachyon]

https://gist.github.com/xTachyon/a2d05ae580a939f2d6f4f655091...

You can force it to generate Rust enums, but it doesn't by default.

[IshKebab]

Does it mark them as non-exhaustive?

[gavinray]

Where'd you find this paper link, out of curiosity?

The referenced footnote, [9], leads to: https://www.usenix.org/conference/osdi25/presentation/schuer...

[Ar-Curunir]

Just googling the paper title