Module retag 

Experimental support for emitting retags as function calls in generated code.

We attempt to retag every argument and return value of a function, and every rvalue of an assignment. The first step to retagging is to generate a RetagPlan, which describes which pointers within the place or operand can be retagged. Then, we traverse the RetagPlan to emit the calls.

Structs

UnsafeCellRanges 🔒

Collects the ranges within a type that are covered by UnsafeCell.

UnsafePinnedRanges 🔒

Collects the ranges within a type that are covered by UnsafePinned.

Enums

RetagFields 🔒

The layout of the fields that need to be retagged.

RetagPlan 🔒

A description of the pointers within a type that need to be retagged.

Traits

PerByteTracking 🔒

A visitor trait for collecting the ranges within a layout that satisfy a given predicate.

Functions

rvalue_needs_retag 🔒

within_loop 🔒

Creates a simple loop, iterating the specified number of times. The dynamic value of the loop counter is passed as an argument to the closure.