Re: [Tinycc-devel] enforced immutability - proposed research project

[Barath Aron]

Hello,

On Mon, 18 Jan 2021 12:32:29 +0100 Bruno Haible <bruno@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