- Title
- Deviating constexpr or consteval across translation units
- Status
- open
- Section
- 9.2.6 [dcl.constexpr]
- Submitter
- Benjamin Sch.
Created on 2025-03-15.00:00:00 last changed 1 month ago
Messages
Date: 2025-11-06.23:04:52
Possible resolution:
Change in 9.2.6 [dcl.constexpr] paragraph 1 as follows:
... If any declaration of a function or function template F has a constexpr or consteval specifier, then all its declarations shall contain the same specifier; a diagnostic is required only if a declaration of F reachable from another declaration of F deviates.
Date: 2025-11-06.23:04:52
(From submission #683.)
Subclause 9.2.6 [dcl.constexpr] paragraph 1 specifies:
... If any declaration of a function or function template has a constexpr or consteval specifier, then all its declarations shall contain the same specifier.
This rule should not require a diagnostic if the declarations are not mutually reachable.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2025-11-06 23:04:52 | admin | set | messages: + msg8355 |
| 2025-03-15 00:00:00 | admin | create | |