Here is my latest update about undefined behavior in the working draft of the next C standard. Most of the trivial but annoying compile-time UB in the core language is now removed (still some left).
https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3957.pdf