Skip to content
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

[dcl.array] Potentially ambiguous specification of array contents #3791

Closed
sdkrystian opened this issue Feb 24, 2020 · 1 comment · Fixed by #4061
Closed

[dcl.array] Potentially ambiguous specification of array contents #3791

sdkrystian opened this issue Feb 24, 2020 · 1 comment · Fixed by #4061
Assignees
@jensmaurer

Comments

@sdkrystian
Copy link
Contributor

sdkrystian commented Feb 24, 2020 •
edited

[dcl.array] p6 states:

An object of type “array of N U” contains a contiguously allocated non-empty set of N subobjects of type U, known as the elements of the array, and numbered 0 to N -1.

The use of contains here does not seem to be exclusive, and could potentially be interpreted to say that padding is permitted before the first element, allowing for the address of an array and its first element to differ (further, we don't normatively state that an array and it first element have the same address)
@jensmaurer jensmaurer self-assigned this Jun 26, 2020
@jensmaurer jensmaurer mentioned this issue Jun 26, 2020
Merged
@languagelawyer
Copy link
Contributor

further, we don't normatively state that an array and it first element have the same address

#3203

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jensmaurer jensmaurer

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[dcl.array] Clarify that arrays do not have extra padding. jensmaurer/draft
3 participants
@sdkrystian @jensmaurer @languagelawyer