[mikeash]

When it's explicitly allowed by the rules, it's no longer "jaywalking."

You're right that it doesn't mean this is safe in general, but the original comment is wrong that you should never do this.

What previous-value-checking logic are you referring to? I would expect .pointee = 42 to compile down to a single store instruction.