3 ms·

-fbounds-safety https://discourse.llvm.org/t/rfc-enforcing-bounds-safety-in-c-fbounds-safety/70854 https://discourse.llvm.org/t/rfc-enforcing-bounds-safety-in-

-fbounds-safety https://discourse.llvm.org/t/rfc-enforcing-bounds-safety-in-c-fbounds-safety/70854 https://discourse.llvm.org/t/rfc-enforcing-bounds-safety-in-... Part of the proposal is to make fat pointers. Has ABI implications, but there are many pressure relief valves.

chongli 3y ago
I read most of that proposal and I really like it! I hope they get it into the next standard. In a way, it’s kind of a very narrow form of dependent types. It solves this one issue very cleanly.
- deleted 3y ago
  [deleted]