Miri: replace canonical_alloc_id mechanism by extern_static_alloc_id which is...
Miri: replace canonical_alloc_id mechanism by extern_static_alloc_id which is called only when a pointer is 'imported' into the machine
Showing
想要评论请 注册 或 登录