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
We have updated the specification of checking of bounds declarations. In the specification, the CheckLValue function infers bounds for the values stored in lvalues (RB, in the specification). In the Checked C implementation, we use the type of the value to infer bounds in some cases. For example, we can infer bounds for Ptr values or array-typed values. The specification needs to be updated to reflect this.
The text was updated successfully, but these errors were encountered:
We have updated the specification of checking of bounds declarations. In the specification, the CheckLValue function infers bounds for the values stored in lvalues (RB, in the specification). In the Checked C implementation, we use the type of the value to infer bounds in some cases. For example, we can infer bounds for Ptr values or array-typed values. The specification needs to be updated to reflect this.
The text was updated successfully, but these errors were encountered: