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.ref] Requirement to diagnose invalid binding of references #2848

Closed
randomnetcat opened this issue Apr 27, 2019 · 1 comment
Closed

[dcl.ref] Requirement to diagnose invalid binding of references #2848

randomnetcat opened this issue Apr 27, 2019 · 1 comment
Labels
cwg Issue must be reviewed by CWG. not-editorial Issue is not deemed editorial; the editorial issue is kept open for tracking.

Comments

@randomnetcat
Copy link
Contributor

[dcl.ref]/5 says:

A reference shall be initialized to refer to a valid object or function.

According to the specification style guidelines, this sentence imposes a requirement on implementations to diagnose violations of this rule, as there is no mention of "no diagnostic is required" or "undefined behavior".

It is unreasonable to expect implementations to diagnose all violations of this rule.

This is related to CWG 453.
@jensmaurer
Copy link
Member

jensmaurer commented Apr 29, 2019 •
edited

This is exactly core issue 453.
And a duplicate of #2304.

@jensmaurer jensmaurer added cwg Issue must be reviewed by CWG. not-editorial Issue is not deemed editorial; the editorial issue is kept open for tracking. labels Apr 29, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
cwg Issue must be reviewed by CWG. not-editorial Issue is not deemed editorial; the editorial issue is kept open for tracking.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@randomnetcat @jensmaurer