rustc_mir_transform

Module deduce_param_attrs

Source
Expand description

Deduces supplementary parameter attributes from MIR.

Deduced parameter attributes are those that can only be soundly determined by examining the body of the function instead of just the signature. These can be useful for optimization purposes on a best-effort basis. We compute them here and store them into the crate metadata so dependent crates can use them.

Structs§

  • DeduceReadOnly πŸ”’
    A visitor that determines which arguments have been mutated. We can’t use the mutability field on LocalDecl for this because it has no meaning post-optimization.

Functions§