Skip to content

Extend static and dynamic checking to handle relative alignment #330

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
dtarditi opened this issue Jun 20, 2017 · 0 comments
Open

Extend static and dynamic checking to handle relative alignment #330

dtarditi opened this issue Jun 20, 2017 · 0 comments
Labels
feature This labels new features and enhancements.

Comments

@dtarditi
Copy link
Member

We need to extend static checking of bounds and dynamic runtime checks to handle relative alignment. This feature includes covers work items #326, #327, #328. and #329. We also need to write tests of this.
@dtarditi dtarditi added the feature This labels new features and enhancements. label Jun 20, 2017
@dtarditi dtarditi mentioned this issue Jun 20, 2017
Closed
dopelsunce pushed a commit to dopelsunce/checkedc-clang that referenced this issue Sep 28, 2020
@dtarditi
Update tests after revamping implementation of generic functions (che…
cbefbda 
…ckedc#330)

We've revamped the implementation of generic functions in the compiler:
- Add tests of ways functions with generic types and non-generic types can be incompatible.
- We are now parsing type argument lists based on mostly syntactic information.  This causes misnamed bounds cast operations to be treated as applications of functions to generic type arguments.
- A few error messages changed.
mgrang pushed a commit that referenced this issue Nov 23, 2020
@sroy4899
Merge pull request #330 from correctcomputation/fail_gracefully
da54c15 
Fix for issue 283 (round 2)
@secure-sw-dev-bot secure-sw-dev-bot mentioned this issue Jan 16, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature This labels new features and enhancements.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@dtarditi