Re: [Chicken-hackers] [PATCH] Flow-analysis enhancement for assigned variables

[Felix]

>> Note: there is a certain class of variable manipulation that we can not
>> track: assignments from other threads and side-effects caused by
>> finalizers. I see no way to handle this without being excessively
>> conservative (and thus reducing the analysis to a minimum, which would
>> make it mostly useless).
> 
> How is this taken care of?

It isn't. Otherwise using specialization or scrutiny would make no sense.


cheers,
felix