@safe status

[Andrei Alexandrescu]

Michel Fortin wrote:
> On 2010-02-08 17:20:21 -0500, Andrei Alexandrescu 
> <SeeWebsiteForEmail at erdani.org> said:
> 
>> Michel Fortin wrote:
>>> On 2010-02-08 16:21:31 -0500, bearophile <bearophileHUGS at lycos.com> 
>>> said:
>>>
>>>> Michel Fortin:
>>>>> But unsafe functions can give whatever pointer they want to a safe 
>>>>> function,<
>>>>
>>>> Can pointers be used in safe modules/functions?
>>>
>>> Yes. And object references too. And arrays. All those are pointers of 
>>> some sort. You wouldn't go very far without them.
>>
>> Pointers undergo significantly less control than arrays and object 
>> references.
> 
> Yes. But an unsafe function can still give a bad pointer to a safe 
> function and have the safe function corrupt some memory.

This is irrelevant because once you have one unsafe function, you have 
one unsafe program.

Andrei