@regehr @Sobex @dave_andersen @va2lam @zwol @chipchristian No, again, the effective type rules of C handle all this. The memory has no declared type so the only potential effective type UB is when an application accesses uninitialized memory from malloc that may still have the old effective type, without having stored something to it first.