Carmack about static analysis

[Andrei Alexandrescu]

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