Fixes #21054. Additionally, we can now check for range overlap when generating Cmm for primops that use memcpy internally.