Re:Undefined behavior is often a thing for C programmers (2011)
by microcow on Thursday September 03, 2020 @10:25AM
(#24364373)
@mastax, you could model pointer dereferencing as an effect and require dereferencing null pointers to trap.
[ Parent
| on HN ]
There are no comments on this comment yet.