Hacker News new | past | comments | ask | show | jobs | submit login

In the case where loads from address zero are legal, the dereference-means-non-null-pointer assumption is disabled.




That case wasn't one of the cases where null pointers are valid memory, judging from the commit message. (There was a case where gcc had a bug where it didn't disable that check properly, but this doesn't appear to be that case.)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: