View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0001961 | 1003.1(2024)/Issue8 | Base Definitions and Headers | public | 2025-11-26 07:59 | 2026-01-09 15:37 |
| Reporter | lanodan | Assigned To | |||
| Priority | normal | Severity | Editorial | Type | Omission |
| Status | Interpretation Required | Resolution | Accepted As Marked | ||
| Name | Haelwenn Monnier | ||||
| Organization | The Open Group | ||||
| User Reference | |||||
| Section | XBD, Headers, <assert.h> | ||||
| Page Number | 226 | ||||
| Line Number | 7977-7987 | ||||
| Interp Status | Proposed | ||||
| Final Accepted Text | 0001961:0007330 | ||||
| Summary | 0001961: assert.h lacks static_assert macro | ||||
| Description | C11 introduced the static_assert() macro, which C17 kept (and C23 transformed into a keyword). | ||||
| Desired Action | After line 7988:
| ||||
| Tags | tc1-2024 | ||||
| related to | 0001302 | Closed | 1003.1(2016/18)/Issue7+TC2 | Alignment with C17 |
|
|
Interpretation response ------------------------ The standard clearly states "This volume of POSIX.1-2024 defers to the ISO C standard" on the <assert.h> page (and elsewhere), and conforming implementations must conform to this. Rationale: ------------- Omission of the static_assert macro was an oversight in Austin Group Defect 1302. However, because the standard defers to C17 on the contents of the <assert.h> header, conforming implementations are required to define static_assert as described in C17. Notes to the Editor (not part of this interpretation): ------------------------------------------------------- After line 7988 add a new paragraph: The <assert.h> header shall define the static_assert macro which shall expand to _Static_assert. |
|
|
Interpretation Proposed: 9th January 2026 |
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2025-11-26 07:59 | lanodan | New Issue | |
| 2025-11-26 07:59 | lanodan | Tag Attached: tc1-2024 | |
| 2025-11-27 15:18 | geoffclare | Note Added: 0007330 | |
| 2025-11-27 15:19 | geoffclare | Relationship added | related to 0001302 |
| 2025-11-27 15:20 | geoffclare | Note Edited: 0007330 | |
| 2026-01-08 16:48 | geoffclare | Note Edited: 0007330 | |
| 2026-01-08 16:49 | geoffclare | Status | New => Interpretation Required |
| 2026-01-08 16:49 | geoffclare | Resolution | Open => Accepted As Marked |
| 2026-01-08 16:49 | geoffclare | Interp Status | => Pending |
| 2026-01-08 16:49 | geoffclare | Final Accepted Text | => 0001961:0007330 |
| 2026-01-09 15:37 | agadmin | Interp Status | Pending => Proposed |
| 2026-01-09 15:37 | agadmin | Note Added: 0007356 |
