checkedc
checkedc copied to clipboard
Update spec to cover inverses of address-of/dereference operators
The description of invertible expressions in the spec should include address-of/dereference operators that cancel.
&*e1
and *&e1
are invertible with respect to a variable x
if and only if e1
is invertible with respect to x
. The inverse of &*e1
and *&e1
with respect to a variable x
is the inverse of e1
with respect to x
.