This is an abort in set_mem_alias_set. It's one of the few test cases
that use __restrict, which does play games with the alias set which
might violate the rule you are trying to enforce.
Would you look at it?
Sure. This sounds similar to the Ada case of unchecked conversion,
which does likewise. So this may need the same kludge.