John Regehr personal blog
Undefined Behavior != Unsafe Programming
Are you arguing that undefined behaviour should not be a thing in, e.g., C? It sounds like you’re claiming that the fabled sufficiently smart compiler could take code in a C-like language with no UB, and emit something equivalent to what a C compiler would produce given equivalent input in C that correctly avoids UB…
- Points
- 119
- HN comments
- 70
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 14, 2017 | Undefined Behavior != Unsafe Programming by steveklabnik | 119 | 70 |
