Translate C integer types to portable Rust types#1266

Merged

fw-immunant merged 48 commits intomasterfrom

Aug 6, 2025

Commits on Aug 1, 2025

Commits on Aug 6, 2025

transpile: try using expected type even when translating ArrayToPointerDecay casts
fw-immunant
committed
transpile: get expected types for direct function calls from decl
fw-immunant
committed
transpile: always cast bitfield accesses to expected type
fw-immunant
committed
transpile: propagate expected types down to translation of literals
fw-immunant
committed
transpile: add synthetic CTypeKinds for sized types
fw-immunant
committed
create synthetic AST nodes to enable looking up Rust fixed-size types
fw-immunant
committed
transpile: convert typedefs of target-dependent macros to their synthetic CTypeKinds
fw-immunant
committed
transpile: keep portable types for typedefs in stdint.h, sys/types.h, and __stddef_*
fw-immunant
committed
transpile: keep portable type for ssize_t
fw-immunant
committed
transpile: operators: homogenize types of more binary operators
fw-immunant
committed
ast-exporter: prefer non-implicit declarations when exporting function declarations
fw-immunant
committed
ast-exporter: add hack for strlen()
fw-immunant
committed
tests/arrays: use libc crate for wchar_t
fw-immunant
committed
transpile: cast field accesses to expected type
fw-immunant
committed
transpile: operators: also check if return type is pointer
fw-immunant
committed
transpile: operators: cast the rhs of assignment operators if necessary
fw-immunant
committed
transpile: cast result of Call expressions if necessary
fw-immunant
committed
transpile: document convert_exprs
fw-immunant
committed
transpile: create pointer types for modified function pointer types
fw-immunant
committed
transpile: apply prefix of expected types based on variadic fn signatures
fw-immunant
committed
transpile: infer arg types from type of called fn ptr
fw-immunant
committed
transpile: handle fiddly cases around function casts
fw-immunant
committed
transpile: operators: propagate expected type to rhs
fw-immunant
committed
transpile: add cases for macOS header locations
fw-immunant
committed
transpile: add cases for macOS header typedefs
fw-immunant
committed
transpile: fix ssize_t conversion on macOS
fw-immunant
committed
transpile: snapshot: don't build tests that use libc
fw-immunant
committed
transpile: snapshot: add test for type mapping
fw-immunant
committed
transpile: tests: add failing portion of arrays/incomplete_arrays.c as snapshot test
fw-immunant
committed
transpile: structs: propagate field type down to field initializers
fw-immunant
committed
transpile: operators: propagate expected type to lhs of shifts
fw-immunant
committed
transpile: operators: assert to clarify compute/result type semantics
fw-immunant
committed
transpile: iterators: generalize NodeVisitor trait
fw-immunant
committed
transpile: bubble up unary/binary operator argument types
fw-immunant
committed
transpile: prefer synthetic kinds when propagating binary expr types
fw-immunant
committed
transpile: rectify naming conventions around resolved types
fw-immunant
committed
transpile: tests: snapshots: warn when skipping compiling

fw-immunant
and
kkysen
committed
transpile: refactor and document `TypedAstContext::tys_of_params`
fw-immunant
committed
transpile: rename `TypedAstContext` methods function -> fn
fw-immunant
committed