Backport of #45242 : > Under certain circumstances, the existing rules for bit operations can produce code that writes beyond its intended bounds.
