This is a minor update to the Checked C specification released on September 14th, 2021.
- Clarification in the Checked C specification about the policy for bounds checking when checked and unchecked pointers are mixed in assignment expressions.
- Documentation of the semantics of
realloc
. - Documentation about the shift from mailing lists to GitHub Discussions.