Obvious Things C Should Do

[Dukc]

On Monday, 13 January 2025 at 08:16:48 UTC, Walter Bright wrote:
> D's CTFE does not allow undefined behavior.

It's pretty simple in D since it has the @safe subset where 
everything is defined behaviour anyway.

But we're talking about C and there it'd be different. For 
example, using uninitialised values and signed int overflows. In 
the specific case of DMD those are probably still simple since it 
can just do what D does in the same situation. But if you were 
writing (a formal proposal to change) the C standard, how would 
you address those? I suspect it'd be complicated.