(`c2rust-analyze`) Add `known_fns!` for declaring the permissions on ptrs in known (i.e. `libc`) `UnknownDef` `fn`s#978

Merged

kkysen merged 10 commits intomasterfrom

kkysen/analyze-known-fns-decl

Jul 7, 2023

Commits on Jul 5, 2023

(`c2rust-analyze`) Add `const fn KnownFnTy::checked` checking that the number of perms match the number of ptrs in a type.
kkysen
committed
(`c2rust-analyze`) Add more `known_fn_ty!` tests.
kkysen
committed
(`c2rust-analyze`) Add `known_fns` for declaring the permissions of known (`libc`) `fn`s while also checking these definitions match `libc`'s.
kkysen
committed

Commits on Jul 6, 2023

(`c2rust-analyze`) Allow `#[]` attributes on each `known_fns!` `fn` so platform specific things can be represented, such as Linux's `__errno_location` and macOS' `__error`.
kkysen
committed

Commits on Jul 7, 2023