This repo contains a version of clang that is modified to support Checked C. Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety.
Programmers can declare new bounds for local variables and parameters in a where clause. These bounds declarations are flow-sensitive. We should check that the new declared bounds are valid after the where clause where they are defined.
Programmers can declare new bounds for local variables and parameters in a where clause. These bounds declarations are flow-sensitive. We should check that the new declared bounds are valid after the where clause where they are defined.