Safe mode in D?

[Max Samukha]

On Saturday, 19 October 2013 at 08:25:58 UTC, Maxim Fomin wrote:
> On Saturday, 19 October 2013 at 07:42:24 UTC, Max Samukha wrote:
>> On Saturday, 19 October 2013 at 07:24:49 UTC, Maxim Fomin 
>> wrote:
>>
>>> Actual definition of safity in D is "Safe functions are 
>>> functions that are statically checked to exhibit no 
>>> possibility of undefined behavior. Undefined behavior is 
>>> often used as a vector for malicious attacks. " I provided 
>>> many cases where this does not happen.
>>
>> I know the definition. Aren't we discussing a different matter 
>> - your dissatisfaction with the fact that D's control flow 
>> analysis does not prevent indirect calls to the constructor?
>
> No. Topic of the thread is Safe D. The point was made that D's
> safe mode is not safe at all. Constructor invocation is a
> spin-off of the topic.

It's you who made that spin-off, trying to foist it in as yet 
another example of D's unsafety. I was replying to that.

>
> By the way, no dissatisfaction here, as I don't by D premises at
> all.

You sounded dissatisfied.