[uecker]

It is also not UB to read uninitialized values through a pointer in C for types that do not have non-value representations.