A Kernel Recipes talk reports C2y removing 45 of roughly 100 undefined behaviours in the C standard

Sources: LWN, discussion
Summary: The talk reports that the in-progress C2y draft removes 45 of roughly 100 undefined behaviours in the C standard. It names cases where Clang and GCC still miscompile behaviour the standard already defines, pointer equality comparison among them. The source is LWN's conference report, read through a subscriber link.
Why it matters: Removing an undefined behaviour from the standard does not settle what a compiler emits, so code written against the defined behaviour can still be miscompiled by current Clang and GCC.