Skip to content

Add a simplification rule for tagged pointers.

Rodolphe Lepigre requested to merge ci/tagged_ptr_rule into master

The rule turns any value type assigment hypothesis for a tagged pointer with tag 0 into a value type assigment hypothesis for an owned pointer. This allows implementing the [untag] function using [tag] in the tagged pointer example (examples/tagged_ptr.c).

Merge request reports