logoalt Hacker News

Ygg2yesterday at 4:02 PM1 replyview on HN

Ok, and how does, in your opinion, compiler rules enforcement work in an unsafe block?

And how does Miri help solve this issue?


Replies

selfmodruntimeyesterday at 9:08 PM

> Ok, and how does, in your opinion, compiler rules enforcement work in an unsafe block?

By the engineer's wit of course!

> And how does Miri help solve this issue?

By detecting undefined behavior caused by violation these rules

show 2 replies