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.
When you run the check-all command, it fails on same 3c tests. However, the tests do not fail when you run them directly with lit or via checkc-clang-c3.
dtarditi
commented
8 months ago
When you run the check-all command, it fails on same 3c tests. However, the tests do not fail when you run them directly with lit or via checkc-clang-c3.