Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
uecker
58 days ago
|
parent
|
context
|
favorite
| on:
Rust to C compiler – 95.9% test pass rate, odd pla...
It is not terribly hard to generate C code that does not use undefined behavior.
lmm
58 days ago
[–]
Maybe. But when carefully investigated, the overwhelming majority of C code does in fact use undefined behaviour, and there is no practical way to verify that any given code doesn't.
uecker
57 days ago
|
parent
[–]
It is easy to create code where this can be verified. It is difficult to verify for arbitrary code.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
