[ub:basic.stc.alloc.dealloc.constraint] Irrelevant UB example

Open Beginner friendly
#9,276 6 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

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

Research direction

Search the draft sources for the exact operator delete example and read the surrounding [basic.stc.dynamic.deallocation]/3 wording. Remove or replace the irrelevant undefined-behavior example so it reflects the cited rule, then verify the generated standard text contains no misleading example.

Written by the indexing model from the issue text.

Description

ub-ifndr

Currently it says

void operator delete(void* ptr) noexcept {
    throw 0;                // undefined behavior, terminates by throwing an exception
}

[basic.stc.dynamic.deallocation]/3 merely says

... A deallocation function shall not have a potentially throwing exception specification. ...

The "throwing an exception in a noexcept function" example is irrelevant for this UB.

Dominant language
TeX
Stars
221
Forks
813
Avg merge
16h 4m
Merged PRs (30d)
36

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.