Skip to content

[expr.rel] Clarify confusing wording CWG2749#6173

Closed
lprv wants to merge 1 commit into
cplusplus:mainfrom
lprv:expr.rel
Closed

[expr.rel] Clarify confusing wording CWG2749#6173
lprv wants to merge 1 commit into
cplusplus:mainfrom
lprv:expr.rel

Conversation

@lprv

@lprv lprv commented Mar 12, 2023

Copy link
Copy Markdown
Contributor

'Pointer to an object' is one of the pointer value categories defined in [basic.compound], but according to CWG2526 the intended reading here is that void* values are excluded from the ordering.

@jensmaurer

Copy link
Copy Markdown
Member

What's wrong with the existing text? A "pointer to void" is not a pointer to object, because void is not an object type.

@lprv

lprv commented Mar 13, 2023

Copy link
Copy Markdown
Contributor Author

The text is talking about values, and void* can hold a "pointer to object" value.

@tkoeppe

tkoeppe commented Apr 30, 2023

Copy link
Copy Markdown
Contributor

@jensmaurer Any further thoughts? This seems like a corish detail I'd defer to you on.

@jensmaurer jensmaurer added the cwg Issue must be reviewed by CWG. label Apr 30, 2023
@jensmaurer

Copy link
Copy Markdown
Member

I think this is good, but CWG should have a look because it's a bit of a delicate wording here.

@t3nsor

t3nsor commented Jun 13, 2023

Copy link
Copy Markdown
Contributor

@jensmaurer Is there a core issue for this?

@jensmaurer

Copy link
Copy Markdown
Member

CWG 2023-06-14: Needs research on C behavior for "pointer to void".

@t3nsor

t3nsor commented Jun 16, 2023

Copy link
Copy Markdown
Contributor

It appears that this is now CWG2749?

@jensmaurer jensmaurer changed the title [expr.rel] Clarify confusing wording CWG2749 [expr.rel] Clarify confusing wording Jun 16, 2023
@jensmaurer

Copy link
Copy Markdown
Member

Yes.

@jensmaurer jensmaurer changed the title CWG2749 [expr.rel] Clarify confusing wording [expr.rel] Clarify confusing wording CWG2749 Jun 17, 2023
@tkoeppe

tkoeppe commented Nov 12, 2023

Copy link
Copy Markdown
Contributor

Already handled by CWG issue.

@tkoeppe tkoeppe closed this Nov 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cwg Issue must be reviewed by CWG.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants