Functions§
- mir_
place_ to_ place_ id - Convert a MIR Place to a PlaceId
- operand_
to_ place_ id - Extract place from operand if it’s Copy or Move
- sync_
fields - Synchronize field aliases If lv and rv are aliased, ensure all their corresponding fields are also aliased
- sync_
fields_ 🔒recursive - Recursive helper for field synchronization
- transfer_
aggregate - Transfer function for aggregate: lv = (operands…)
- transfer_
assign - Transfer function for assignment: lv = rv
- transfer_
call - Transfer function for function call
- transfer_
field_ assign - Transfer function for field assignment: lv = rv.field
- transfer_
ref - Transfer function for reference: lv = &rv