Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Can't you also just say that mmap() is a magical function that you don't know what it does?

For all the compiler knows, mmap() could just be a:

  static Hash_Table h; return (void *)&h;
And make that the rule for all externally defined functions.


Indeed. That's the way to reason about correctness of opaque functions.




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

Search: