4 ms·

The idea you can have a safe c compiler or runtime seems totally absurd to me. Why is any of this even considered seriously?

• Koshkin 9y ago
  Indeed. Even the "obvious" example of the compiler inserting bound checks in the generated code does not work with the well-known method of marking the beginning of a variable-length memory block at the end of a struct using an array of some fixed size, say, 1 (or even 0).
  • deleted 9y ago
    [deleted]
  • ktRolster 9y ago
    For that situation, you would need to mark the end of the variable-length memory block at run-time.