checkedc icon indicating copy to clipboard operation
checkedc copied to clipboard

Update spec to cover inverses of address-of/dereference operators

Open kkjeer opened this issue 4 years ago • 0 comments

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.

kkjeer avatar May 27 '20 18:05 kkjeer