The Checked C specification currently describes features that aren't implemented and doesn't describe some features that are implemented. This makes it confusing for programmers to use. We should update it to clearly describe what is implemented and move future work to the end.
The Checked C specification currently describes features that aren't implemented and doesn't describe some features that are implemented. This makes it confusing for programmers to use. We should update it to clearly describe what is implemented and move future work to the end.
Here is the list of work to do:
491
492
493
494
495
497
499
500.