checkedc
checkedc copied to clipboard
microsoft
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and elimina...
I was playing around with the new syntax for Checked C and it seems generic structs don't have support for it yet. ```c struct IntSet _For_any(T) { T *rep; void...
I have the following code: ```c typedef struct { char z; } A; typedef struct { A a; } B; void func(A *a) { B *b = (B*)((char*)a - offsetof(B,...
Let's say I have the following code. ```c _For_any(T) void func(_Array_ptr ptr) { ptr++; } int main() { char *ptr; func(ptr); } ``` Currently Checked C doesn't support arithmetic on...
The Checked C specification currently 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....
We have introduced new keywords beginning with `_` for the Checked C bounds annotations and where clauses, as part of creating [erasable syntax](https://github.com/checkedc/checkedc/wiki/Proposed-extension-changes-to-improve-backward-compatibility). We no longer need the colon (`:`)...
We have the following work items to do: - Create an optional header file: #496 - Create several examples of using the optional header file in code that compiles with...
People interested in Checked C may not be willing to switch to the Checked C clang compiler. - They may be working on an existing project that does not use...
We need to create some examples showing how to use the header for the erasable syntax.
We now have compiler support for syntax for Checked C annotations that can be erased via macros. We need to create a simple header file that people can copy into...
Support for erasable syntax has been added to the compiler. The Wiki documentation needs to be updated. to reflect this. Right now we only have a [proposal](https://github.com/checkedc/checkedc/wiki/Proposed-extension-changes-to-improve-backward-compatibility). The descriptions there...