Re: Safety features for Crunch?

> Hi,
> There is this rather experimental C compiler/transpiler Cake that makes not only C23 features available for older C compilers but also introduces new safety features such as object lifetime checks in the form of
>
> ´´´
> #pragma safety enable
> #include <stdio.h>
> int main()
> {
>     FILE *_Owner _Opt f = fopen("file.txt", "r");
>     if (f)
>     {
>        fclose(f);
>     }
> }
> try
> ´´´
>
> I think something similar would be great in Crunch.
>
> Cake: http://thradams.com/cake/ownership.html#toc_3

Thanks for the link - this is indeed very interesting!


cheers,
felix