Skip to content

Version 0.7.1 of the Checked C specification
Compare
Choose a tag to compare
@dtarditi dtarditi released this 08 Jun 15:31
· 137 commits to master since this release
v0.7.1-final
b1853bf
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This is a minor update to the Checked C specification that brings it into agreement with the compiler implementation.

  • Rename BOUNDS_CHECKED TO CHECKED_SCOPE.
  • Update the syntax for bounds_cast expressions. Remove the old syntax where the kind of bounds expression was inferred based on the number of arguments. Now the target bounds expression is an additional argument.
  • Allow an interop type and a bounds expressions as part of a bounds-safe interface.
  • Make it clear that bounds-safe interfaces can be applied to unchecked arrays too.
Assets 3