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.

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

[basic.indet] has a dangling xref to [conv.lval] #7715

Open
RedBeard0531 opened this issue Feb 27, 2025 · 0 comments
Open

[basic.indet] has a dangling xref to [conv.lval] #7715

RedBeard0531 opened this issue Feb 27, 2025 · 0 comments

Comments

@RedBeard0531
Copy link
Contributor

The last normative sentence of p1 says :

If any bit in the value representation has an indeterminate value, the object has an indeterminate value; otherwise, if any bit in the value representation has an erroneous value, the object has an erroneous value ([conv.lval]).

But [conv.lval] says nothing about indeterminate or erroneous values. Did that content move somewhere else, or is that xref attached to the wrong sentence?

Sidenote: [conv.lval] was the first place I thought to look for the rules for loading uninitialized memory. It may be nice to drop a breadcrumb from there to [basic.indet], eg by placing a note either before or after the p4 note like:

See also [basic.indet] for handling of reads of indeterminate and erroneous values.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant