Hello,

On Mon, 18 Jan 2021 12:32:29 +0100 Bruno Haible <br...@clisp.org> wrote:
>         ((struct data *) p)->x = 9; // Violation of immutability,
> crashes ...

If you do not allow such cast, you don't have to do anything at runtime.
Also, freestanding mode would work that way too.
But for that, you need a more complex type system.

Aron

_______________________________________________
Tinycc-devel mailing list
Tinycc-devel@nongnu.org
https://lists.nongnu.org/mailman/listinfo/tinycc-devel

Reply via email to