Module c2rust_refactor::analysis

Analysis passes used to drive various transformations.

Modules

labeled_ty	Provides a wrapper around rustc::ty::Ty with a label attached to each type constructor. This
ownership	This module contains an analysis to infer ownership information for pointers. It analyzes code using raw pointers and indicates, for each pointer, whether it appears to be owned, mutably borrowed, or immutably borrowed. It can also infer ownership-polymorphic function signatures, which handles cases where the original C code used a single accessor for both mutable and immutable access to a field.
type_eq	Type equivalence-class analysis. The goal is to find groups of types annotations that must be equal for the crate to typecheck. Example:

Functions

register_commands