You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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 variablex
if and only ife1
is invertible with respect tox
. The inverse of&*e1
and*&e1
with respect to a variablex
is the inverse ofe1
with respect tox
.The text was updated successfully, but these errors were encountered: