Another thing that turns out to be compatible with the C memory model is "doing weird things with pointer bits", such as pointer authentication: https://www.qualcomm.com/content/dam/qcomm-martech/dm-assets...