Carmack about static analysis

[deadalnix]

Le 27/12/2011 02:07, Andrei Alexandrescu a écrit :
> On 12/26/11 6:36 PM, Walter Bright wrote:
>> On 12/26/2011 9:03 AM, Andrei Alexandrescu wrote:
>>> On 12/26/11 10:29 AM, deadalnix wrote:
>>>> Do you know what is the impact of 64bits on false positive proportion
>>>> when the GC isn't precise ?
>>>
>>> No.
>>
>> I would think it would dramatically reduce it.
>
> At the same time, false positives are not the only reason for which
> precision is good. Precision reduces the amount of work done by the
> scanner, allows e.g. using distinct regions for objects with/without
> embedded pointers, and allows moving objects.
>
> Andrei
>

Using different region for object that or may not contains pointers is 
something that can be achieved with the current state of D.

Agreed for everythign else.