We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
This issue was copied from checkedc/checkedc-clang#1169
Fixes #1158
This PR updates the bounds checking behavior for lvalue expressions with bounds-safe interfaces in unchecked scopes.
If:
S
e
e = e1
e1
The bounds of e are not validated after checking S.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
This issue was copied from checkedc/checkedc-clang#1169
Fixes #1158
This PR updates the bounds checking behavior for lvalue expressions with bounds-safe interfaces in unchecked scopes.
If:
S
is in an unchecked scope, and:e
has unchecked pointer type (its bounds were declared using a bounds-safe interface), and:S
does not contain an assignmente = e1
wheree1
is a checked pointer, then:The bounds of
e
are not validated after checkingS
.The text was updated successfully, but these errors were encountered: