[conv.array] Missing Core UB

Open
#9,284 3 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
3/5
Estimated time
1-2 days
Newbie friendliness
48/100
Issue type
Documentation
Clarity
Mostly clear
Activity status
Active
Tech stack
cpp
Domain
documentation

Research direction

Start by locating the [conv.array] wording in the draft source and read the surrounding clauses on Annex F references and notes. Determine whether the missing explanation needs a cross-reference or a note, and consider the issue complete when the concern about the undefined behavior is addressed consistently in the standard text.

Written by the indexing model from the issue text.

Description

ub-ifndr

[conv.array] contains UB

An expression E of type “array of N T” or “array of unknown bound of T” can be converted to a prvalue of type “pointer to T”. If E is a prvalue, the temporary materialization conversion ([conv.rval]) is applied. If the result of E (possibly converted) is an object whose type is similar to the type of E, the result is a pointer to the first element of the array; otherwise, the behavior is undefined.

There is neither a reference to Annex F nor a Note or Footnote explaining why ignoring it.

Dominant language
TeX
Stars
221
Forks
813
Avg merge
17h 45m
Merged PRs (30d)
34

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from cplusplus/draft

All issues in cplusplus/draft

Similar issues

More Documentation issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.