On Sat, 06 Feb 2010 01:43:27 +0100, strtr <st...@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

Reply via email to