Skip to content

Conversation

dtarditi
Copy link
Member

Fix change markers accidentally left in build instructions.

Fix some inaccuracies in the cloning instructions.

@dtarditi dtarditi merged commit 2d36f90 into checkedc:master Sep 13, 2016
@dtarditi dtarditi deleted the setup-instructions branch November 22, 2016 21:44
dtarditi pushed a commit that referenced this pull request Aug 12, 2020
dopelsunce pushed a commit to dopelsunce/checkedc-clang that referenced this pull request Sep 28, 2020
This change adds tests for type checking bounds expression of the form bounds(e1, e2).  It tests both positive cases (that should type check) and negative cases (that should fail to type check).    This change matches a corresponding change in the checkedc-clang repo.  It addresses checkedc-clang repo issue 14.

It includes tests of cases such as using expressions whose types are given by typedef'ed type names, using an expression with an array type as a bound, and using pointers that point to the same object type but have different modifiers.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants