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? r~