[formerly_proven]

… it’s only UB if the pointer is actually misaligned. It’s not possible to tell from these two lines whether that’s the case.