Post #1611410

2026-03-13 20:25 UTC

ISO C Meeting: So it was decided that three more UBs will be removed from the C standard (#11, #18, #71), const variables of integer types initialized by an integer const expression become named contants (n3693), we want the elvis operator ?: (n3804), and also various wording clarifications (in particular: discarded). And defer is on its way to becoming a TS. (edit: and also bitints are now allowed as underlying type for enum)

Replies (7)

@uecker@mastodon.social 2026-03-13 20:43

In terms of safety features: Contracts were hotly debated. Retroactive scoping was removed from the agenda at the request of the author (presumably for revising it, because it was pointed out that is is not implementable in this form), and my dependent structure type got majority support but also some "no" votes mostly from people who are skeptical about variably modified (=dependent) types. (it will eventually need strong support to go in)

Open ##1611409
@uecker@mastodon.social 2026-03-13 21:34

And I forgot what is probably the most important thing: Thanks to @JensGustedt@digitalcourage.social will have wording group that will help properly integrate changes. This will hopefully make the whole process much less painful.

Open ##3081679
@aakoskin@bitwoods.duckdns.org 2026-03-13 20:36

@uecker@mastodon.social The king is gone but he's not forgotten.

Open ##3081683
@gloriouscow@oldbytes.space 2026-03-13 20:47

@uecker@mastodon.social I still have a comb bound printout of C99 around here somewhere are there still trap representations?

Open ##3081685
@erisceleste@tech.lgbt 2026-03-14 00:13

@uecker@mastodon.social oooh i had forgotten about the Elvis operator, glad that got in, i had wanted to vote yes on that

Open ##3081687
@keithp@fosstodon.org 2026-03-14 02:13

@uecker@mastodon.social keep up the good work!

Open ##3081688
@mirabilos@toot.mirbsd.org 2026-04-24 03:02

@uecker@mastodon.social which UBs were these? That is, which numbering do they refer to? Also, can I leave my impression on reading some proposed papers here? I just saw n3539 for example, which WILL introduce breakage if accepted; I’d recommend the author just add setlocale(LC_ALL, ""); calls near the beginning of main for internationalised programs instead.

Open ##3081689