This repository was archived by the owner on Sep 30, 2024. It is now read-only.
This repository was archived by the owner on Sep 30, 2024. It is now read-only.
Tests for checking type requirements for bounds declarations. #48
Description
This issue was copied from checkedc/checkedc#48
There is a pull request for the checked-clang repo (checkedc/checkedc-clang#42) that adds checking of type requirements for bounds declarations to clang. See the pull request for details.
This commit adds the matching tests. It includes both positive tests (that are supposed to work) and negative tests that should fail with an error message. We have added the expected error message from the clang implementation for the negative tests, so that the tests can be used in the clang test infrastructure. This commit also fixes issues in existing tests that the checking uncovered.