Epic: bring Checked C specification into agreement with the compiler implementation

Open dtarditi opened this issue 2 years ago • 0 comments

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.

Jul 11 '23 16:07 dtarditi