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

[Peter Bex]

On Mon, Jan 30, 2012 at 10:28:18AM +0100, Felix wrote:
> >> 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.

If they're not tracked, could this cause the scrutinizer to make invalid
type inferences and code replacements?  Is there a way to tell the
scrutinizer to stay away from certain variables?  (like "volatile" etc in C)

Cheers,
Peter
-- 
http://sjamaan.ath.cx
--
"The process of preparing programs for a digital computer
 is especially attractive, not only because it can be economically
 and scientifically rewarding, but also because it can be an aesthetic
 experience much like composing poetry or music."
                                                        -- Donald Knuth