Module add_retag

Source
Expand description

This pass adds validation calls (AcquireValid, ReleaseValid) where appropriate. It has to be run really early, before transformations like inlining, because introducing these calls adds UB โ€“ so, conceptually, this pass is actually part of MIR building, and only after this pass we think of the program has having the normal MIR semantics.

Structsยง

AddRetag ๐Ÿ”’

Functionsยง

may_contain_reference ๐Ÿ”’
Determine whether this type may contain a reference (or box), and thus needs retagging. We will only recurse depth times into Tuples/ADTs to bound the cost of this.