@safe status

[Simen kjaeraas]

On Sat, 06 Feb 2010 01:43:27 +0100, strtr <strtr at spam.com> wrote:

> Walter Bright Wrote:
>> Every function in Phobos needs to be reviewed and tagged as safe,
>> trusted or system as appropriate.
>
> I am sorry if this is totally stupid, but shouldn't it be possible for  
> the compiler to do this? addition to -profile maybe
>
> It might also be interesting if the compiler were to generate the most  
> restrictive protection attributes for everything, which would still  
> compile or course ;)

Theoretically possible, yes. However, that would require whole-program
analysis, which is not always possible.

-- 
Simen